A rounded stone or pebble, commonly highly polished, from the stomach of some reptiles, esp. dinosaurs, plesiosaurs, and crocodilians. Gastroliths are thought to have been used in grinding up food, but marine reptiles may have used them to provide body stability while in the water.