fix accuracy problem in div_2expm1, and add test code
small efficiency improvement for fmprb_overlaps