Encode a finite IEEE-754 number so lexicographic key order equals numeric order.
Finite number to encode.
Fixed-width hexadecimal representation.
Encode a finite IEEE-754 number so lexicographic key order equals numeric order.