:: Int -> Float package:numeric-prelude

Convert from an Int.
Euclidean norm of a vector.