:: Float -> Integer package:numeric-prelude

Euclidean norm of a vector.