make sure there's a single geonum entry in the option list
seeding for random generator