TeX source:

2^{32}-1\approx 4 \cdot 10^{9}