../../Task/Random-numbers/Standard-ML