コード例 #1
0
ファイル: gmp.php プロジェクト: wikimedia/avro 
 /**
  * @return resource GMP resource for 64-bits of 1
  */
 private static function gmp_0xfs()
 {
     if (!isset(self::$gmp_0xfs)) {
         self::$gmp_0xfs = gmp_init('0xffffffffffffffff');
     }
     return self::$gmp_0xfs;
 }