Added functionality to retrieve seed value from random.seed() call