DivSel (feat. KReal from DivSel)