Etymology
Today it means: A paving stone made from granite chippings in a cement aggregate Full definition →
From grano- + -lith.
Etymology from Wiktionary, CC BY-SA 4.0.