> for Outer in This_Value .. That_Value loop
> for Inner in Lower_Limit ..
> Integer(Sqrt.(Float.Outer)) loop
> end loop Inner_Loop;
> end loop Outer_Loop;
>Does Ada require evaluation of the upper limit at each iteration of the
>inner loop or is the square root function (with the attendant coercions)
>only called once?
The truth is in the RM. In this case, it is in RM 5.5 (9).
With an explicit note in RM 5.5 (12).