The exponential distribution