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