Major speedup of String --> Double conversion