In staticShiftedBy(...) use positionShiftedBy because it is slightly more efficient than shiftedBy(...). For #903