Update gmp/gnump to 5.1.3