[metapost] roundd function

[Walt Burkhard]

Hello,
I have occasion to use roundd with the numbersystem=double,
unfortunately this seems to not work correctly.   All seems to be
okay in the default number system!

I have attached the test program  and show its output here.

default number system:
123.5679
123.5679
double number system
123.56789999999999
123.56789999999999

Is there any (easy) fix for this behavior?/

Many thanks in advance.

Walt Burkhard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/metapost/attachments/20200128/628624ea/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.mp
Type: application/octet-stream
Size: 266 bytes
Desc: not available
URL: <https://tug.org/pipermail/metapost/attachments/20200128/628624ea/attachment.obj>