f64 >= 0.5 ** i32
