Thanks. I have downloaded a copy.
First of, one little nit. The line:
if not 1.0 == 01 ...
does not travel well. It only works if the decimal separator is "." - and as you have probably guessed by now, where I live, it isn't :)
Here in Denmark (and in lots of other places in Europe) we use comma as decimal separator and dot as thousands separator, i.e. the opposite of what you use.