pub fn float_order(a: Hfp, b: Hfp) -> Ordering
Floating-point keys in numeric order, by exact value: normalized, the characteristic then the fraction.