Re[4]: Replacement for GMP