Example exc-224
Prev:
exc-223
Next:
exc-225
44.997
<math> <apply><in/> <cn type="real"> 44.997 </cn> <reals/> </apply> </math>