I’m not sure if this is within the scope of the NEP or an implementation detail, but I think a new PRNG should use platform independent integer types rather than depending on the platform’s choice of 64-bit data model.  This should be enough to ensure that any integer distribution that only uses integers internally should produce identical results across uarch/OS.