examples/pfrng-feeder: use 64 bit integers