arithmetic check