The total available now is 62 million. There are additionally some 900 million locked away. There's still only 62 million essentially (soon to be around 87 million after crowdsale AMP released), because counting the amps that are locked up now would be like counting ethereum's inflation for the next decade and adding it to the current number of eth on the market. Also, those additional AMPs won't go to miners but rather to support the ecosystem. For example they have some % set aside for dapp development, marketing, future development, etc - so whenever those additional AMPs are released, it won't just be standard inflation because the additional AMPs will help the ecosystem itself grow.