See above.  Note also that I call `vecnormInf` in several of the other `vecnormX` routines, and doing the `float` conversion here simplifies the type-promotion rules elsewhere.