simple arithmetic validity tests pass