double exponential distribution Wikipedia - Search