Bug fix.

Previously a string such as "5 . 5" would be parsed as the number
5.05. I fixed this by adding a check so that an error will be signaled
whenever there is whitespace in the string that is not at the ends.