preconditions for basic operations: true if the operation's result is representable and defined for the given values
default implementations all return `true` such that children have to redefine these only for partial operations such as those resulting in an overflow or that are undefined like a division by zero for most types.
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)
representable and defined for the given values
default implementations all return `true` such that children have to
redefine these only for partial operations such as those resulting in
an overflow or that are undefined like a division by zero for most
types.