This allows one to obtain the length of a fixed-length vector that has--for
example--been cast to a different datatype, squared, etc.