Aritmética de saturação TIL
403