Subtracts another integer to this one without overflow, trimming the value to the range that can be represented in this type.
impl W64 { fn saturating_sub(self, other: u64) -> W64 }