> My topic here is, however, to know what Ada programmers
> and language lawyers would think "For-Loop Iteration for
> Real Type" for AdaXX.

I think for loops on floating point types is a mistake,
since the step size isn't constant.

For fixed point types, where the step size can be constant,
I consider it interesting (and something I might want to
use). There is still a problem due to the possible
difference between the requested and the actual resolution
of fixed point types. Most readers of such code would
probably expect the step size to be equal to the requested
resolution and not to the somewhat more arbitrary actual
resolution of the fixed point type.

Warning: Dates in calendars are closer than they appear.