Cleaned up stale commented code
Merge branch 'master' of github.com:chsticksel/kind2
Parsing of floating-point decimals