:: Int -> Float -package:LambdaHack -package:ghc package:linear-base

Convert from an Int.