Re: Recent change in Gmp.mpq