Diamonds in machinging is nothing new. Diamond grinding wheels, etc, have been around forever. Real diamonds are cheap in those sizes (we're talking grain of sand or smaller).