fix a bug in tokenizing float number.