libpfrng: use uint64_t strictly