Irwin–Hall_distribution