BUGFIX: lack of sign in mulInt if called from mul