Standard subtraction. Computes precise arithmetic underflows independently.
Uint64 operator -(Uint64 other) => Uint64.from(value - other.value);