float
to
int
Convert integer-valued floats into integers