gawk 4.1.1, fails mpfr tests so not using yet, check back