Function encode_real 

pub fn encode_real(value: f64) -> [u8; 8]

Encodes a Real (f64) for lexicographic ordering with total ordering.

NaN < -Inf < negative values < -0.0 < +0.0 < positive values < +Inf