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.
Can confirm this is the case in Spain, always spoken as the 12hr equivalent but written in 24hr