Saturation arithmetic.

Saturation arithmetic: add/sub for int32/int64; mul/div for int8/int16/int32 and div for int64.