Re[2]: Replacement for GMP