[Reduction] #372: IRand