☰
prefix +!
🌌float.prefix +!
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'.