Improve float checking a bit more
Improve float checking a bit more

Don't optimize for fewer decimal places since that causes unnecessary
exponents. For example "100." would print as "1.e2". Gross. So instead
pick the shortest string, preferring *more* decimal places on ties since
that prefers the non-exponent version.

skeeto/binitools,skeeto/binitools