feat(tools/proofcheck/checker/lexer.mll): add support hex rep. of float number