Add RandomNumberGeneratorExtension