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-07-10 15:41:47 GIT hash eafa42ae743de61b62f958948d7abb5fada7756f 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.