Note that check of drand48 is for Random module