:: Int -> Float -package:LambdaHack -package:base-compat package:prelude-compat

Convert from an Int.