Non-exact floats are now properly emitted