added random.random to mini standard library