f64 / 0.5 ** f64
