There is no reason to ban u128{0} + 1 (although the second argument type is signed, the value is known at the compile time to be non-negative). In ord