Make sure that time reports appear in decimal notation.

diff --git a/v7/src/sf/toplev.scm b/v7/src/sf/toplev.scm
index de8df89941ddc34ca1c06af15fdfd11c832e91f3..2ddb9d572cc212e779a1d2b5cee18a7e95598dec 100644 (file)
--- a/v7/src/sf/toplev.scm
+++ b/v7/src/sf/toplev.scm
@@ -1,8 +1,8 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/sf/toplev.scm,v 4.4 1989/06/09 16:56:35 cph Rel $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/sf/toplev.scm,v 4.5 1989/12/07 05:39:36 cph Exp $
 
-Copyright (c) 1988 Massachusetts Institute of Technology
+Copyright (c) 1988, 1989 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -407,7 +407,7 @@ Currently only the 68000 implementation needs this."
   (newline)
   (write-string prefix)
   (write-string ": ")
-  (write (/ process-time 1000))
+  (write (/ (exact->inexact process-time) 1000))
   (write-string " (process time); ")
-  (write (/ real-time 1000))
+  (write (/ (exact->inexact real-time) 1000))
   (write-string " (real time)"))
\ No newline at end of file

diff --git a/v8/src/sf/toplev.scm b/v8/src/sf/toplev.scm
index d0d353e79f1ddaca27f47c09140199fee8de381c..d8f8da8d618f9fc73ee29731ea52e5ced5fb4c41 100644 (file)
--- a/v8/src/sf/toplev.scm
+++ b/v8/src/sf/toplev.scm
@@ -1,8 +1,8 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/sf/toplev.scm,v 4.4 1989/06/09 16:56:35 cph Rel $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/sf/toplev.scm,v 4.5 1989/12/07 05:39:36 cph Exp $
 
-Copyright (c) 1988 Massachusetts Institute of Technology
+Copyright (c) 1988, 1989 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -407,7 +407,7 @@ Currently only the 68000 implementation needs this."
   (newline)
   (write-string prefix)
   (write-string ": ")
-  (write (/ process-time 1000))
+  (write (/ (exact->inexact process-time) 1000))
   (write-string " (process time); ")
-  (write (/ real-time 1000))
+  (write (/ (exact->inexact real-time) 1000))
   (write-string " (real time)"))
\ No newline at end of file