#### Arithmetic Comparison

Each of the following predicates evaluates each of its arguments as an
arithmetic
expression, then compares the results. If one argument evaluates to an
integer and the other to a float, the integer is coerced to a float
before the comparison is made.

Note that two floating-point numbers are equal if and only if
they have the same bit pattern. Because of rounding error, it is not
normally useful to compare two floats for equality.

`Expr1`` =:= `

`Expr2`

- succeeds if
the results of evaluating terms
`Expr1` and `Expr2` as arithmetic
expressions are equal

`Expr1`` =\= `

`Expr2`

- succeeds if
the results of evaluating terms
`Expr1` and `Expr2` as arithmetic
expressions are not equal

`Expr1`` < `

`Expr2`

- succeeds if
the result of evaluating
`Expr1` as an arithmetic expression
is less than the result of evaluating `Expr2` as an arithmetic expression.

`Expr1`` > `

`Expr2`

- succeeds if
the result of evaluating
`Expr1` as an arithmetic expression `Expr1` is
greater than the result of evaluating `Expr2` as an arithmetic expression.

`Expr1`` =< `

`Expr2`

- succeeds if
the result of evaluating
`Expr1` as an arithmetic expression
is not greater than the result of evaluating `Expr2` as an arithmetic expression.

`Expr1`` >= `

`Expr2`

- succeeds if
the result of evaluating
`Expr1` as an arithmetic expression
is not less than the result of evaluating `Expr2` as an arithmetic expression.