Fixed a bug in the "double" type parsing code.