rotate: avoid sign extension