refactoring mpfr based bin ieee754 flavor
refactoring tests