:: Int -> Float -package:LambdaHack -package:basic-prelude package:numeric-prelude

Convert from an Int.
Euclidean norm of a vector.