Корейцы используют 64 битный ГПСЧ Вихрь Мерсенна. Его реализацию можно посмотреть в функциях
genrand64_real1 и genrand64_real2, но стоит учитывать, что диапазон long в java меньше диапазона беззнакового uint64 в C++, поэтому портировать его в том виде как в PTS - не выйдет(но ничего не мешает...