Refactoring, add mul_u and faster neg