Um no, he isn't wrong. Yes he could word it better but circulating currency is correct. Source - Wikipedia. https://en.wikipedia.org/wiki/Swiss_franc#Circulation I think you have a misunderstanding about circulation.
As the parent comment correctly noted, CHF M0 Base money (ie: the amount of monetary base in circulation) is aproximately 722B : https://tradingeconomics.com/switzerland/money-supply-m0
EDIT: Crux of the issue here is that circulation is the wrong metric to use (money supply would be far more accurate).
Satoshi’s paper is really good. More people should revisit it, and it’s even more interesting with hindsight today.