update labad.h to work with mpfr::real