(i64 + f32) ^ f64
