i32 > i64 + f64
