auto tests for arithmetic ops