Update to the last Rust: remove the float type.
Add the frog to the project list.
Update the doc rule.