Basic arithmetic test separated by types