toInteger package:LambdaHack

conversion to Integer