BigFloat documentation tweaks