fix(util/ibex_converter.cc): fix 75f74a232940fe64c7a17cfc38a40c220285faaa
fix(util/ibex_converter.cc): fix 75f74a232940fe64c7a17cfc38a40c220285faaa

dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,soonho-tri/dreal4