I mean, do they say “I sleep at 9pm” or more like “I sleep at 2100 hrs” even while they are talking informally? 2100 hrs sounds very formal to me, but yeah, I was just wondering if they used 24 hour format for only official and government proceedings and used 12 hour format for casual stuff.
It varies very much from country to country. In some it is perfectly fine to say “meet you at 19 o’clock” or similar.