check arithmetic type