Fix mul* implementations