Definitions of signed and unsigned saturation operations.
- (signed-saturate n x) coerces the integer x into an n-bit
signed integer by signed saturation, then returns the result as an n-bit
- (unsigned-saturate n x) coerces the integer x into an
n-bit unsigned integer by unsigned saturation.