:: Float -> Integer package:basic-prelude

conversion to Integer