:: Int -> Float -package:LambdaHack is:exact package:linear-base

Convert from an Int.