Improve documentation of rounding functions

Important note: I documented current behaviour even though it may not be correct (see issue #15826). `round()` function for rationals does different rounding than `round()` from `Float` trait.
As long as you're updating these, it would be nice to change them to be more consistent with the prevailing style, i.e.

```rust
/// Rounds towards minus infinity
```