Documentation for the rounding modes (manual + stdlib)

It also includes some updates to some related sections about
BigFloats.