feat(realpaver): support hexadecimal float
feat(opensmt/parsers/smt2): support hexadecimal float
tests(nra): add hex_01 test
chore(tests/.gitignore): ignore *.model