math: LCG PRNG with 64-bit internal state, fix #38