Syntax extension for arithmetic comparisons