Use std::num::Int::rotate_{left,right}