i32 == i64 + f32
