OK, so we do need to cast to int