CMP_RESULT
return CMP_RESULT(float64_lt(a, b));
return CMP_RESULT(float64_le(a, b));
return CMP_RESULT(1);
return CMP_RESULT(0);
return CMP_RESULT(float64_eq(a, b));