Hi Jürgen, Thanks, though the current behavior still does not give the exact number bit by bit. Can you change it to %.17g, or std::numeric_limits<double>::max_digits10?
In addition, is it OK to raise the maximum allowed ⎕PP to 17? Best, Xiao-Yong > On Jun 7, 2016, at 12:37 PM, Juergen Sauermann > <juergen.sauerm...@t-online.de> wrote: > > Hi Xiao-Yong, > > thanks, fixed in SVN 738. > > /// Jürgen > > > On 06/07/2016 08:13 AM, Xiao-Yong Jin wrote: >> Hello, >> >> Is the following behavior intended? Note the x value after load. >> >> )clear >> CLEAR WS >> x←.12345678901234567890 >> ⎕pp←16 >> x >> 0.1234567890123457 >> )wsid tmp >> WAS CLEAR WS >> )save tmp >> 2016-06-07 01:09:15 (GMT-5) >> )clear >> CLEAR WS >> )load tmp >> SAVED 2016-06-07 01:09:15 (GMT-5) >> x >> 0.123457 >> ⎕pp >> 16 >> >> >> >> >
