[Axiom-developer] [#167 Infinite Floats Domain] Float is arbitrary precision, not infinite precision

[wyscc]

Changes 
http://page.axiom-developer.org/zope/mathaction/167InfiniteFloatsDomain/diff
--

??changed:
-In 'FLOAT', conceptually the infinite precision floating point system, is 
basically also finite precision floating point system, with the ability to 
increase precision as requested. However, this promotion is not automatic. In 
other words, every 'FLOAT' number has its own precision, implicit in the length 
of its mantissa. In effect, 'FLOAT' is the union of floating point systems with 
various precisions, but without exact arithmetic. So Tim is not entirely wrong 
in saying we don't have infinite precision floating point in the spirit of INT. 
The real question for the developers is then: 
In 'FLOAT', conceptually the infinite precision floating point system, is 
basically also finite precision floating point system, with the ability to 
increase precision as requested. However, this promotion is not automatic. In 
other words, every 'FLOAT' number has its own precision, implicit in the length 
of its mantissa. In effect, 'FLOAT' is the union of floating point systems with 
various precisions, but without exact arithmetic. So Tim is not entirely wrong 
in saying we don't have infinite precision floating point in the spirit of INT. 
What we have in 'FLOAT' is arbitrary precision, not infinite precision (exact 
arithmetic). The real question for the developers is then: 

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden