Changed FIXNUM->FLONUM back to using cast.

I don't understand why the last change was made -- the cast should
have worked, since arg_fixnum() returns a long.  Perhaps I blew it and
tested it on 8.0 and just happen to have fixed the real problem at
about the same time.

diff --git a/v7/src/microcode/fixnum.c b/v7/src/microcode/fixnum.c
index 04f1d819a3c137187c32f5ef5bc402096fcf5ba1..9d094351e5408ecf38ff44b0517c16aa473e2b5b 100644 (file)
--- a/v7/src/microcode/fixnum.c
+++ b/v7/src/microcode/fixnum.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: fixnum.c,v 9.42 1997/07/15 05:09:17 adams Exp $
+$Id: fixnum.c,v 9.43 1997/07/18 03:35:53 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 (FIXNUM_TO_DOUBLE (arg_fixnum (1))));
+    PRIMITIVE_RETURN (double_to_flonum ((double) (arg_fixnum (1))));
   }
 }