Change random.h (add double)