Constructive Intermediate Value Theorem with Bisection Data