A computer stores $4 \times 10^9$ bytes. A hard drive stores $2 \times 10^{12}$ bytes. How many times bigger is the hard drive than the computer memory?