These highly polished well-rounded stones (gastrolith) are believed to have been used in the stomachs of reptiles for grinding the food into smaller pieces. Large numbers of these “stomach stones” have been found with the remains of certain types of dinosaurs.