Separated integers from rationals and added simple FastInteger wrapper#751

Tomaqa wants to merge 4 commits into

masterusi-verification-and-security/opensmt:masterfrom

separate_integerusi-verification-and-security/opensmt:separate_integerCopy head branch name to clipboard