From 3714e2b170285589b24c64598e5b177822c16fba Mon Sep 17 00:00:00 2001
From: Steven Robertson <steven@strobe.cc>
Date: Thu, 13 Oct 2011 17:12:28 -0400
Subject: [PATCH] Fix filename formatter to be actually helpful.

---
 main.py | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/main.py b/main.py
index 2768d95..f3f8b9a 100644
--- a/main.py
+++ b/main.py
@@ -29,11 +29,14 @@ from cuburn.code.mwc import MWCTest
 np.set_printoptions(precision=5, edgeitems=20)
 
 def fmt_time(time):
-    # Stupid precision modifier garbage
-    frac = np.round((time - np.floor(time)) * 1000)
+    # Format time in a lexically-ordered way that doesn't interfere with the
+    # typical case of ascending natural numbers
+    atime = abs(time)
+    dcml = ('-' if time < 0 else '') + ('%05d' % np.floor(atime))
+    frac = np.round((atime - np.floor(atime)) * 1000)
     if frac:
-        return '%05d.%03d' % (np.floor(time), frac)
-    return '%05d' % time
+        return '%s_%03d' % (dcml, frac)
+    return dcml
 
 def save(args, time, raw):
     name = os.path.join(args.dir, '%s_%s' % (args.name, fmt_time(time)))