Diamond Gravel

We deny any implications of a joke on the basis that it was nonexistent in the first place.

Diamond gravel is a solid block created from shredding diamond ore. Unlike most other ores, shredding diamond does not yield two piles of diamond powder, but rather two blocks of diamond gravel. Diamond gravel is handled similarly like diamond ore in further processing, which means it allows you to get double the amount of diamonds compared to other ores.

Properties
Being gravel, it is affected by gravity. Due to the block's code being sloppily copy-pasted from crushed obsidian, it is also surprisingly explosion-resistant. It can be harvested by hand. Curiously, shovels do not increase the mining-speed of diamond gravel. The chunks on its texture do not resemble those of diamond ore, but rather cut-up pieces of the diamond item texture.

Obtention
Diamond gravel is obtained by shredding diamond ore. Shredder tool abilities, as well as the mining laser's crusher upgrade will also yield two blocks of diamond gravel per ore.

Usage
Diamond gravel can be smelted into single diamonds or crystallized and then centrifuged into up to four diamond powders. Unlike regular diamond ore, it cannot be shredded or directly centrifuged. It will drop itself when mined instead of a diamond.