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.