:: Int -> Integer package:liquidhaskell

Conversion to Integer.