float(i32) ^ f64
