libpfrng: normalize against UINT64_MAX