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