arithmetic check ok