Std.Float
View source →The primitive machine floating-point number.
Float is an irreducible BEAM float — not an inductive, not a postulate.
Floating-point operators (+.-style builtin ops) act on it; this module
gives the type itself a visible, documented home.