From 223577a122c2f144f0a240e2d487427ec58bbe28 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 7 Dec 1989 05:39:36 +0000
Subject: [PATCH] Make sure that time reports appear in decimal notation.

---
 v7/src/sf/toplev.scm | 8 ++++----
 v8/src/sf/toplev.scm | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/v7/src/sf/toplev.scm b/v7/src/sf/toplev.scm
index de8df8994..2ddb9d572 100644
--- 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 d0d353e79..d8f8da8d6 100644
--- 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
-- 
2.25.1