1 files changed, 5 insertions, 0 deletions
diff --git a/rule.c b/rule.c
index d38cf54..831c18c 100644
--- a/rule.c
+++ b/rule.c
@@ -574,6 +574,11 @@ print_rule_data_base ()
       printf ("\n# %u implicit rules, %u", rules, terminal);
 #ifndef	NO_FLOAT
       printf (" (%.1f%%)", (double) terminal / (double) rules * 100.0);
+#else
+      {
+	int f = (terminal * 1000 + 5) / rules;
+	printf (" (%d.%d%%)", f/10, f%10);
+      }
 #endif
       puts (" terminal.");
     }