How do you evaluate #int5# between the interval [0,4]?