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-08-15 12:02:22 GIT hash 301b5b75e77076d091b38f555473f9f0e31e5b5c 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.