include Float16 in gmp/mpfr methods