It's just as easy to do the conversion here, and things are a bit more uniform if all the `vecnormX` functions return the same type.