In the meantime, there's a somewhat more detailed breakdown of the coins now available on the Ledger page. It might help clarify the cause of the incorrect amount.
Nope. Not clear at all. The math simply does not add up.
11/15/2012 Transfer from Rewards Tab 2850 2850
11/15/2012 Free-to-Play Launch Reward 250 3100
11/15/2012 Security Key Monthly Grant. 100 1255
be a total of 3200 points is short by 1945, with absolutely no spending of any kind to date.
The system is broken somewhere.
(BTW: 1970 called, they want their text formatting options back)