Division by 0 bug in libmin