positive number
A real number greater than zero.