RandomLCG should return double instead of float