There are a total of ~16 million bitcoins in existence, and 21 million total will be available. Therefore, there are ~5 million bitcoins still to be mined from now until around 2140.