gmp-extras.cmm