Inteiros extremamente grandes em PHP [duplicado]

Possível duplicado:
Trabalhando com grandes números em PHP.

Eu corro um aplicativo do Facebook completamente inútil. Estou tendo um problema com o suporte do PHP para números inteiros. Basicamente, os usuários dão a si mesmos números ridículos de pontos. O atual "rei" tem 102.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.000.002.557.529.927 pontos.

O PHP parece não funcionar bem com números inteiros grandes. Quando alguém tenta adicionar mais do que uma certa quantidade de pontos, ele falha porque o PHP trata esses números como infinitos.

Existe alguma biblioteca de matemática para trabalhar com números ridiculamente grandes? Devo tratar os números como strings e escrever os meus?

Estamos falando de números com 2 ^ 20 dígitosem comprimento ou mais. Eles não precisam ser precisos (quaisquer erros são atribuídos à baixa qualidade do aplicativo em geral) nem precisam ser de alto desempenho. Eu só preciso de algo que permita números muito mais longos.

(Para quem está curioso, armazenamos nossos números na nuvem, para que o custo de armazenamento não seja um grande problema.)

questionAnswers(2)

yourAnswerToTheQuestion