Compares the lower double-precision, floating-point value of a and b for a less than or equal to b.
If a is less than or equal to b, 1 is returned. Otherwise, 0 is returned. If a and b is a NaN, 1 is returned.
r := (a0 <= b0) ? 0x1 : 0x0