i64 + f32
