Arithmetic type checking (to be checked)