make synoindex always an int