ToLength and LengthOfArrayLike should return u64 or a custom wrapper type

[aapoalas]

The value is guaranteed to be non-negative, so u64 would be more appropriate than the current i64. A custom wrapper type could also be used, since the value is guaranteed to be in the range of 0..=(2^53 - 1).