correção do tipo de retorno de operações aritméticas + otimizacao