1 files changed, 1 insertions, 1 deletions
diff --git a/make-gif b/make-gif
index 3d77d1a..7aa845e 100755
--- a/make-gif
+++ b/make-gif
@@ -56,7 +56,7 @@ local colour_count=256
 local rect=""
 
 local timepat='^(([0-9][0-9]:){1,2}[0-9][0-9]|[0-9]+)(\.[0-9]+){0,1}$'
-local numpat='^[1-9][0-9]*(\.[0-9]+){0,1}$'
+local numpat='^([1-9][0-9]*(\.[0-9]+){0,1}|0\.[0-9]*[1-9])$'
 local intpat='^[1-9][0-9]*$'
 local zintpat='^[0-9]+$'
 local dithpat='^(bayer[0-5]|heckbert|floyd_steinberg|sierra2|sierra2_4a)$'