arithmetic check functions