[r6rs-discuss] Validity of nan.0 and inf.0 using a radix other than 10.

leppie xacc.ide at gmail.com
Thu Jul 17 06:41:51 EDT 2008


Hi

Should the following be valid:

#x+inf.0
#b+nan.0

According to the spec it is. The question being raised is whether the
'decimal point' in nan's and inf's should be treated as a normal decimal
point, making them implicitly a decimal.

Also, nan's and inf's are inexact by nature, there are also no way to create
any other forms of inexact numbers using a radix other than 10 (according to
the spec).

"If the representation of a number object has no exactness prefix, the
constant is inexact if it contains a decimal point, an exponent, or a
nonempty mantissa width; otherwise it is exact."[1]

The above either implies nan's and inf's are exact OR the 'decimal point' in
them are infact seen as a real decimal point allowing them to be inexact.
This is ambiguous.

Cheers

leppie

-- 
xacc.ide
http://xacc.wordpress.com

[1]
http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-2.html#node_toc_node_sec_4.2.8
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.r6rs.org/pipermail/r6rs-discuss/attachments/20080717/36bf8534/attachment.htm 


More information about the r6rs-discuss mailing list