Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any interesting theorems in these areas that can be proved based on assumptions of existence of certain larg...

I'm told by smart people that $0.999999999\ldots = 1$ and I believe them, but is there a proof that explains why this is?