A few tests for arithmetics