Added cast::float_to_int