// hexdec() ※うまくいかない
$ php -r 'echo hexdec($argv[1]),"\n";' 0x12437308CCB6
20080902065334
$ php -r 'echo hexdec($argv[1]),"\n";' 0x2C9C1227FC6520B
2.0090401231145E+17

// gmp_strval()
$ php -r 'echo  gmp_strval($argv[1]),"\n";' 0x12437308CCB6
20080902065334
$ php -r 'echo  gmp_strval($argv[1]),"\n";' 0x2C9C1227FC6520B
200904012311450123