:: Int -> Float -package:llvm-hs-pure -package:LambdaHack -package:singleton-bool package:dimensional

Convert from an Int.