Multiply can be evaluated in a different type, so long as the target type has