碎石是天然岩石、卵石或矿山废石经机械破碎、筛分制成的，粒径大于（ ）的岩石颗粒。