0.5 ** f32 < 1 / f64
