Post #1839622

Another useful comment from @hananc, "it is mentioned in this wikipedia page…" https://en.wikipedia.org/wiki/24-hour_clock#Times_after_24:00 which in turn also links to https://en.wikipedia.org/wiki/Date_and_time_notation_in_Japan#Time