i64 * f32 ^ i32
