:: Int -> CInt package:numeric-prelude

Convert from an Int.
Euclidean norm of a vector.