Text this: Halving interval guaranteed for Dekker and Brent root finding methods