compare_le
static float64 compare_le(float64, float64);
compare_un, compare_eq, compare_lt, compare_le,