That's nearly 10 times more than there were Internet users in 1995, and a key metric indicating how big DeFi can get.