* src/intervals.c (rotate_right, rotate_left): Fix up length computation.