f64 == 0.5 ** i32
