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