added StandardRandomNumberProvider class