An elephant weighs 4.2 tons, and a ox weighs 0.35 tons. How many times is the weight of this elephant as much as that of a ox?
一头大象重4.2吨，一头黄牛重0.35吨，这头大象的体重是黄牛的多少倍？
<gadget id="calculator">4.2 / 0.35</gadget>
<output>12</output>

<result>12</result>