rotate_right needs std::num::Int now