pub fn f64_exact(x: f64) -> Option<Rat>
A double as the rational it exactly is: mantissa over a power of two.