No need to cast to int