https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85439
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- The Boost implementations of mt19937 and uniform_int_distribution produce a third slightly different set of results: 32 bits gen, uint32_t: 3499211612 32 bits gen, uint64_t: 2499109626135559004 64 bits gen, uint32_t: 3379370268 64 bits gen, uint64_t: 14514284786278117030
