TeX source:
t=703,800,000 × \dfrac{ln(0.9)}{ln(0.5)} \text{ years}