Update to the last Rust: remove float.
Merge commit