toInteger package:liquidhaskell

Conversion to Integer.