random_ext is a extra class for python random class