a }tddgtddtdd>}||}tt|t|}t|}t|}t|}tD]}t |||||ksJqqdS)Ndr r ) rrangerrbitcountabsZtrailingr all_modesr)Nirrpwidthmoderrrtest_tight_integer_divisionNs   r+cCstd}td}t||dt}t||t|dt|ksdt_dtdtdksJtdtdtdks:JdS)Nr/r1z0.1531879017645047z-19.583791966887116z-2.6342475750861301z0.35126216427941814z-7.4993775104985909r4rrrrtest_div_negative_rnd_bugsr6N)Z mpmath.libmpZmpmathrrrandomrrrrrrrrr%Z from_bstrrfrom_intr from_floatffrrrr+r.r5r6rrrrs"