-
Type: Improvement
-
Status: Open
-
Priority: Major
-
Resolution: Unresolved
-
Affects Version/s: V4.0_CSD03
-
Fix Version/s: CN01
-
Component/s: Implementing OData
-
Labels:None
-
Environment:
[Proposed]
-
Proposal:
We specify Edm.Double and Edm.Single to be IEEE754 binary floating-point numbers with 64 and 32 bits.
Unfortunately the IEEE754 specifications are not freely available, and their publicly available excerpts in e.g. Wikipedia and XML Schema 1.1 Part 2 seem to diverge in the fine points of
- normalized and denormalized values
- smallest and largest positive and negative values
Also we don't give guidance like "always produce normalized values, always accept all values and round appropriately".