BUGFIX: get DIV[U] working again