Changeset 53027

Timestamp:

May 15, 2009, 3:20:01 PM (13 years ago)

Author:

Barend Gehrels

Message:

Bugfix in gmp-to-string, decimal separator was not inserted
Style change in IEEE
Changed cast-to-string (but didn't help)
Changed sample to use string separately

(No files)