Module Norn_float_text

#module Float_print : sig ... end

Floats to a number of digits, the same text on every system.

#module Float_text : sig ... end

Decimal digits of floats, the same on every system.