check_distrib 10 1000000 0.010000
check_distrib 1000000 10 0.000010
check_distrib 1000000 10 0.000100
check_distrib 1000000 10 0.001000
check_distrib 1000000 10 0.010000
check_distrib 100000 10 0.100000
check_distrib 100000 10 0.900000
OK !