Ganzzahl in Zeit umrechnen

[Texter mit x]

ich nehme an in HH:MM:SS...

Nein, das ist doch das Format der Zahl. Habe ich jedenfalls so verstanden.

Seit wann gibt es (ganze) Zahlen, die Doppelpunkte beinhalten?