f64 / f32 ^ i32
