I have been farming a lot of shards for many hours today, and ive been able to craft maybe 6? Going from 80 dust to 800 was a very drastic change. I agree the change was needed but I feel a change to maybe 400 or 500 would suit better.
We have to think about the game play itself now, do we want a hugeee focus to be on mining rocks for hours upon hours to get only a few master shards? At the current state, it takes to much time to be able to craft one. Another potential change for this could be uping the dust output of some shards.