revise the bug in the parser of float