Fix division syntax in doc comments#148935

Wilfred wants to merge 1 commit intorust-lang:mainrust-lang/rust:mainfrom

Wilfred:fix_remainder_docsWilfred/rust:fix_remainder_docsCopy head branch name to clipboard