pub fn ldexp(x: f32, n: i32) -> f32
x·2^n, exact while the result is a normal f32: infinite past the top, a zero of its sign below the bottom.
x·2^n