Does anyone know how many FCT were in the initial available supply? Someone on Reddit was asking ...

https://www.reddit.com/r/factom/comments/58wc0r/burned_fct/

I gave a crack at an answer, but couldn't remember how many were at the start.