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

Convert from an Int.