0.5 ^ f64 - i32
