I suppose having grown up with 24-hour digital clocks since they first appeared in the 1970s, and most of the clocks around the house and on various devices being 24-hour digital, and using public transport which operates in 24-hour time, there is no "translation" that occurs, most Europeans are simply bilingual in 12/24 hour times.

1745 to me just means what 5:45pm means to you, but I never translate it in my head. In fact, if I'm texting someone older who I think might not naturally use 24-hour time, I have to translate to 12-hour time and it always feels odd to write the am/pm suffix.