[Xsb-development] [ xsb-Bugs-1108638 ] Floats default to single precision

[SourceForge.net <no...@so...>]

Bugs item #1108638, was opened at 2005-01-24 21:18
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1108638&group_id=1176

Category: Compiler
Group: wrong answer
Status: Open
Resolution: None
Priority: 5
Submitted By: Jeff Thompson (jefft0)
Assigned to: Nobody/Anonymous (nobody)
Summary: Floats default to single precision

Initial Comment:
XSB seems to use single precision float internally.

See the folloing query and response:
| ?- X = 123456700.0 , Y = 89.0, Z is X + Y.

X = 123456704.0000
Y = 89.0000
Z = 123456768.0000

Z should be 123456789.0
This is a "wrong answer" if you consider that most
other platforms default to double precision float.

XSB version 2.7 on Windows 2000 and Linux (Debian 
sarge).


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1108638&group_id=1176