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?

Transcribed Image Text:

static void foo (double val) { if (val != 0.0) foo (val/2.0); }