Added tests for C arithmetic