@stux
Side topic: I've in fact been informed that 'billion' means differently in different parts of the world. Here it's a million millions, but in America it's like... a thousand millions? Something like that? Anyway confusing for International conversations 🤭
@non_saturatio @stux that used to be the case (British Billion vs American Billon) but by convention it's now 1000 million everywhere because it was giving mathematicians a headache ;-)