HSP.Env.NumberGen
data NumberGen