:: Int -> Float -package:llvm-hs-pure -package:mixed-types-num -package:LambdaHack package:dimensional

Convert from an Int.