Example exc-224

Prev: exc-223

Next: exc-225

44.997

<math>
<apply><in/>
  <cn type="real"> 44.997 </cn>
  <reals/>
</apply>
</math>