fix edge case in algebraic number comparison#9498

ValentinPromies wants to merge 1 commit into

Z3Prover:masterZ3Prover/z3:masterfrom

ValentinPromies:algebraic-numbers-cmpValentinPromies/z3:algebraic-numbers-cmpCopy head branch name to clipboard