Use INT_MAX for ui_random()