ada: Do not use decimal approximation in -gnatRj output
commit3f7776ea33a6ba9dac28bff8a521de04a728e19f
authorEric Botcazou <ebotcazou@adacore.com>
Sat, 17 Dec 2022 12:16:35 +0000 (17 13:16 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 5 Jan 2023 14:30:01 +0000 (5 15:30 +0100)
tree292ecead69d2a112dad860cbedb38980f379040b
parent133a8e6339ff5d4c695cd1c4ee0f4958386d46bd
ada: Do not use decimal approximation in -gnatRj output

This avoids an unnecessary loss of precision for real values.

gcc/ada/

* repinfo.ads (The JSON output format): Document change.
* urealp.adb (UR_Write_To_JSON): Output a fraction instead of a
decimal approximation.
gcc/ada/repinfo.ads
gcc/ada/urealp.adb