I loved how he tackled this from multiple angles.

Manufactured sand has those rough edges, and is often a waste byproduct of rock crushing anyway. But also, in practice, you want more weathered sand for ease of handling, since too-rough sand is less strong given the same level of workability!