Add formula of range-random-number for [low, up) case