Always cast to int