tests/data/exactfloat

• main.mx