:: Integer -> Double package:numeric-prelude

Euclidean norm of a vector.