arb: change the generic constructor and the set_precision() method to do rounding.

This should enforce a strong consistency between the stored value and the m_prec member.
Also, some doxygen fixes.