Actually, that last revision can be simpler -- we don't need to parse strings...

Actually, that last revision can be simpler -- we don't need to parse strings at all, as simply entering 1e1000 as a float literal in Python will be evaluated as infinity.