fix rounding in ~r, docs

Merge to 5.3.2.