Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programmings