-
Guillaume Melquiond authored
Prove that a representable number, once rounded (whatever the format/direction), is still representable.
9d8706aa
Prove that a representable number, once rounded (whatever the format/direction), is still representable.