Proposal for deep rock tools

Excuse me for using a translation machine. When digging deep stones, the digging speed (efficiency) decreases, right? Therefore, I think it would be convenient and make the adventure even more fun if we could create tools specifically for deep stones, separate from regular stones. I’ve loved Minecraft since I was a child using a Vita. I’ve enjoyed various updates, such as being able to swim, merchants selling items from other biomes, and the addition of new biomes. Please consider adding tools for deep rock!