better commented gmp weirdness