int digitType=0; // Index to which kind of digit we're accumulating
double doubleResult;
// Scan past leading whitespace characters
while(start< end &&
XMLCharacterRecognizer.isWhiteSpace( fsb.charAt(start) )
)
++start;
if (start < end && fsb.charAt(start) == '-')
{