From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Tue, 15 Jul 1997 05:09:17 +0000 (+0000)
Subject: Use FIXNUM_TO_DOUBLE rather than a cast.  Casting a fixnum to a double
X-Git-Tag: 20090517-FFI~5064
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=1aa73ee2aa24f85ed77b1e7f3cbaed073371b5de;p=mit-scheme.git

Use FIXNUM_TO_DOUBLE rather than a cast.  Casting a fixnum to a double
fortuitously worked under 8.0 with `native' fixnum tags but didn't
work under 7.4.
---

diff --git a/v7/src/microcode/fixnum.c b/v7/src/microcode/fixnum.c
index 2e8247cca..04f1d819a 100644
--- a/v7/src/microcode/fixnum.c
+++ b/v7/src/microcode/fixnum.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: fixnum.c,v 9.41 1997/07/08 03:07:06 adams Exp $
+$Id: fixnum.c,v 9.42 1997/07/15 05:09:17 adams Exp $
 
 Copyright (c) 1987-96 Massachusetts Institute of Technology
 
@@ -356,6 +356,6 @@ Equivalent to (INTEGER->FLONUM FIXNUM 2)")
 {
   PRIMITIVE_HEADER (1);
   {
-    PRIMITIVE_RETURN (double_to_flonum ((double) (arg_fixnum (1))));
+    PRIMITIVE_RETURN (double_to_flonum (FIXNUM_TO_DOUBLE (arg_fixnum (1))));
   }
 }