If I remember right Craig was against hard forking to increase decimals on twitter recently. So, I'm still not sure what the solution is.