☰
float
🌌float
float -- floating point values
float is the abstract parent of concrete floating point features such as
f32 or f64.
preconditions for basic operations: true if the operation's result is
representable for the given values. For IEEE_754, all operations are
defined for all values.
redefines numeric.prefix +!:
preconditions for basic operations: true if the operation's result is
representable for the given values
This does not check if the operation is defined (i.e, it
returns true for '3/!0' or '0**!0'.