Added additional transition for float DFA