I'm not so sure that the x10,000 thing mentioned above (for what was done by the hack to the account balances) is true for everyone.
I had somewhere between 0.3 and 0.5 available on 50BTC before the problems; I tried to withdraw and moved to another pool. But if I divide what they say is my balance (108 BTC) by 10,000, that's only .0108.