preconditions for basic operations: true if the operation's result isrepresentable for the given valuesThis does not check if the operation is defined (i.e, itreturns true for '3/!0' or '0**!0'.