extensions/random/random_extension library

Extensions

RandomExtension on Random