To draw a circle with a circumference of 15.7 decimeters, what is its diameter in decimeters?
要画一个周长是15.7分米的圆，它的直径应取多少分米．
<gadget id="calculator">15.7 / 3.14</gadget>
<output>5</output>

<result>5</result>