Consider the following function: This function makes progress towards the base case on every recursive call. In theory (that is, if double variables acted like true real numbers), would this function...

Consider the following function:

This function makes progress towards the base case on every recursive call. In theory (that is, if double variables acted like true real numbers), would this function ever terminate for input val a nonzero number? In practice (an actual computer implementation), will it terminate?