Comprobación de tipos completa. Operaciones aritméticas completas. Operaciones lógicas a medias