Aritmética de saturação TIL
392