implement DivByOne, tests are broken by now