mpfr extension for gawk
