f64 * 0.5 * 0.5 ^ i64
