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.095dev (2025-09-09 14:29:31 GIT hash 98644f8f651c2101a0730cfe31c5807993b7603b 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.