use `int(float_val)`