max(f64, 0.5 ** i64)
