Added mfac_uiui and test code from GMP-5.1.3.