cast to int, not float