Test and fix unsigned division, add tests for modulo, ensure proper sign in remainder