<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- test/entier.outp.orig	2014-07-08 01:17:37.000000000 +0900
+++ test/entier.outp	2020-03-01 00:34:58.000000000 +0900
@@ -15,4 +15,4 @@
  11.9  11  -11.9  -12 
  12  12  -12  -12 
  1230000  1230000  -1230000  -1230000 
- 1.23e+12  2147483647  -1.23e+12  -2147483648 
+ 1.23e+12  1.23e+12  -1.23e+12  -1.23e+12 
</pre></body></html>