https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124163
--- Comment #2 from Dirk Herrmann <dirk.herrmann-privat at gmx dot de> --- (In reply to Eric Botcazou from comment #1) > Ada.Numerics.Pi is a named number so every static operation is performed > with infinite precision on it, include 'Succ and 'Adjacent. > > Float'Succ returns the Float machine number immediately above it, which is > 0x40490fdb in hexadecimal format. This machine number is also what is > returned when it is converted to Float, for example Float'Machine (Pi), > because it's the nearest machine number. > > So Float'Succ (Pi) = Float'Machine (Pi) = Float_Pi in your example. Thanks, but I have not yet fully understood: Do you mean to say that performing Float'Succ(Pi) with infinite precision (as it is a static expression) should mean to add an infinitely small increment?
