Still need cast to int?