Re[8]: Replacement for GMP: Update