[Granite 002] count mathematics