use vector-th-unbox for WrappedNum