document fmprb_div_fmpr
faster high-precision division