Update to the last Rust: remove the float type.