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