Update to the last Rust: remove float.