Double exponential distribution