fix(util/scoped_env): fix output format
fix(tools/proofchecker/checker/lexer.mll): fix FNUM regex