Fix retroknowledge for int31 division.

Was broken accidentally by 5b0769b33, slowing down vm_compute and native_compute
on numeric computations.