i32 + f64 ^ i32
