Use FIXNUM_TO_DOUBLE rather than a cast. Casting a fixnum to a double
authorStephen Adams <edu/mit/csail/zurich/adams>
Tue, 15 Jul 1997 05:09:17 +0000 (05:09 +0000)
committerStephen Adams <edu/mit/csail/zurich/adams>
Tue, 15 Jul 1997 05:09:17 +0000 (05:09 +0000)
commit1aa73ee2aa24f85ed77b1e7f3cbaed073371b5de
tree430f4cb9f9f4789c137b54d7f290a1b99a94c2fb
parent60aaf39ee8527d3b58b1d8fa53584e371510cce3
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