tests for 'Arithmetic' section of LRM