How often do you mint? I normally always mint to around 0,1. my reasoning being that the minted money will go to improving my economy thus giving me a profit in the end. But is the 10% less in tech biting me in the ass later? Or is it viable to mint.