divide ibex2_a1

It's back.