Import Upstream version 3a3upstream/3a3

1 files changed, 16 insertions, 9 deletions

diff --git a/bytenumb.txi b/bytenumb.txi
index 9be7630..97f9b26 100644
--- a/bytenumb.txi
+++ b/bytenumb.txi
@@ -53,6 +53,8 @@ value of @var{bytes} interpreted as a big-endian IEEE 4-byte (32-bit) number.
 @end defun
 
 @example
+(bytes->ieee-float (bytes    0    0 0 0))  @result{}  0.0
+(bytes->ieee-float (bytes #x80    0 0 0))  @result{} -0.0
 (bytes->ieee-float (bytes #x40    0 0 0))  @result{}  2.0
 (bytes->ieee-float (bytes #x40 #xd0 0 0))  @result{}  6.5
 (bytes->ieee-float (bytes #xc0 #xd0 0 0))  @result{} -6.5
@@ -61,8 +63,8 @@ value of @var{bytes} interpreted as a big-endian IEEE 4-byte (32-bit) number.
 (bytes->ieee-float (bytes    0 #x40 0 0))  @result{}  5.877471754111437e-39
 (bytes->ieee-float (bytes    0    0 0 1))  @result{}  1.401298464324817e-45
 
-(bytes->ieee-float (bytes #xff #x80 0 0))  @result{} -1/0
-(bytes->ieee-float (bytes #x7f #x80 0 0))  @result{}  1/0
+(bytes->ieee-float (bytes #xff #x80 0 0))  @result{} -inf.0
+(bytes->ieee-float (bytes #x7f #x80 0 0))  @result{} +inf.0
 (bytes->ieee-float (bytes #x7f #x80 0 1))  @result{}  0/0
 @end example
 
@@ -75,7 +77,8 @@ value of @var{bytes} interpreted as a big-endian IEEE 8-byte (64-bit) number.
 
 @example
 (bytes->ieee-double (bytes    0    0 0 0 0 0 0 0))  @result{}  0.0
-(bytes->ieee-double (bytes #x40    0 0 0 0 0 0 0))  @result{}  2
+(bytes->ieee-double (bytes #x80    0 0 0 0 0 0 0))  @result{} -0.0
+(bytes->ieee-double (bytes #x40    0 0 0 0 0 0 0))  @result{}  2.0
 (bytes->ieee-double (bytes #x40 #x1A 0 0 0 0 0 0))  @result{}  6.5
 (bytes->ieee-double (bytes #xC0 #x1A 0 0 0 0 0 0))  @result{} -6.5
 
@@ -83,8 +86,8 @@ value of @var{bytes} interpreted as a big-endian IEEE 8-byte (64-bit) number.
 (bytes->ieee-double (bytes 0 4 0 0 0 0 0 0)) @result{}  5.562684646268003e-309
 (bytes->ieee-double (bytes 0 0 0 0 0 0 0 1)) @result{}  4.0e-324
 
-(bytes->ieee-double (bytes #xFF #xF0 0 0 0 0 0 0))  @result{} -1/0
-(bytes->ieee-double (bytes #x7F #xF0 0 0 0 0 0 0))  @result{}  1/0
+(bytes->ieee-double (bytes #xFF #xF0 0 0 0 0 0 0))  @result{} -inf.0
+(bytes->ieee-double (bytes #x7F #xF0 0 0 0 0 0 0))  @result{} +inf.0
 (bytes->ieee-double (bytes #x7F #xF8 0 0 0 0 0 0))  @result{}  0/0
 @end example
 
@@ -96,6 +99,8 @@ floating-point of @var{x}.
 @end defun
 
 @example
+(bytes->list (ieee-float->bytes  0.0))                    @result{} (0     0 0 0)
+(bytes->list (ieee-float->bytes -0.0))                    @result{} (128   0 0 0)
 (bytes->list (ieee-float->bytes  2.0))                    @result{} (64    0 0 0)
 (bytes->list (ieee-float->bytes  6.5))                    @result{} (64  208 0 0)
 (bytes->list (ieee-float->bytes -6.5))                    @result{} (192 208 0 0)
@@ -104,8 +109,8 @@ floating-point of @var{x}.
 (bytes->list (ieee-float->bytes  5.877471754111438e-39))  @result{} (  0  64 0 0)
 (bytes->list (ieee-float->bytes  1.401298464324817e-45))  @result{} (  0   0 0 1)
 
-(bytes->list (ieee-float->bytes -1/0))                    @result{} (255 128 0 0)
-(bytes->list (ieee-float->bytes  1/0))                    @result{} (127 128 0 0)
+(bytes->list (ieee-float->bytes -inf.0))                  @result{} (255 128 0 0)
+(bytes->list (ieee-float->bytes +inf.0))                  @result{} (127 128 0 0)
 (bytes->list (ieee-float->bytes  0/0))                    @result{} (127 128 0 1)
 @end example
 
@@ -117,6 +122,8 @@ floating-point of @var{x}.
 @end defun
 
 @example
+(bytes->list (ieee-double->bytes  0.0)) @result{} (0     0 0 0 0 0 0 0)
+(bytes->list (ieee-double->bytes -0.0)) @result{} (128   0 0 0 0 0 0 0)
 (bytes->list (ieee-double->bytes  2.0)) @result{} (64    0 0 0 0 0 0 0)
 (bytes->list (ieee-double->bytes  6.5)) @result{} (64   26 0 0 0 0 0 0)
 (bytes->list (ieee-double->bytes -6.5)) @result{} (192  26 0 0 0 0 0 0)
@@ -128,8 +135,8 @@ floating-point of @var{x}.
 (bytes->list (ieee-double->bytes  4.0e-324))
                                         @result{} (  0   0 0 0 0 0 0 1)
 
-(bytes->list (ieee-double->bytes -1/0)) @result{} (255 240 0 0 0 0 0 0)
-(bytes->list (ieee-double->bytes  1/0)) @result{} (127 240 0 0 0 0 0 0)
+(bytes->list (ieee-double->bytes -inf.0)) @result{} (255 240 0 0 0 0 0 0)
+(bytes->list (ieee-double->bytes +inf.0)) @result{} (127 240 0 0 0 0 0 0)
 (bytes->list (ieee-double->bytes  0/0)) @result{} (127 248 0 0 0 0 0 0)
 @end example