/** * @return resource GMP resource for 64-bit ~0x7f */ private static function gmp_n0x7f() { if (!isset(self::$gmp_n0x7f)) { self::$gmp_n0x7f = gmp_init('0xffffffffffffff80'); } return self::$gmp_n0x7f; }