Added to int cast