Sanity checks for arithmetic.