Es ist nicht dokumentiert, aber Copy korrigiert das automatisch. Nebenbei: Jeder Wert größer als 0 wird automatisch um 1 dekrementiert.
Denn arbeiten tut Copy intern ab 0.
(Und jeder Wert kleiner als Null wird zu Null.)
Dokumentiert (und damit problemlos nutzbar) ist hingegen, dass man ruhig als Länge MaxInt (also sprich einen größeren Wert als die existierende Länge) angeben kann, wenn man "den Rest ab Position X" haben will.