promote on overflow in dotop.