From 1aa73ee2aa24f85ed77b1e7f3cbaed073371b5de Mon Sep 17 00:00:00 2001 From: Stephen Adams Date: Tue, 15 Jul 1997 05:09:17 +0000 Subject: [PATCH] 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. --- v7/src/microcode/fixnum.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)))); } } -- 2.25.1