the interval [0, \infty)