Add a new method toRational() to NumeralFormulaManager#510

daniel-raffler wants to merge 2 commits intomastersosy-lab/java-smt:masterfrom

add_toRealsosy-lab/java-smt:add_toRealCopy head branch name to clipboard