Rust Floor Function Notation