Added level counter to Newton so that can return a list of the empty interval if there are no roots, for type stability