Ada subtypes and base types

[Richard Kenner]

    So if I understand correctly, if we can prove that the operation does
    not overflow in natural___XDLU_0___2147483647, then there is no need
    of a cast to the base type and back.

This stuff is complex, but I'm fairly sure that's correct.