How does EXP distribution work?