Thank you, Mikhail!
on the basis of your suggestions the following procedure with Python works.
1. read the 8-Byte sequence
2. use ‘struct.unpack’ to convert the binary string to double-precision float
3. build a datetime.timedelta object
4. add to datetime (1899,12,30)
5. format the output string as wished with strftime()
the datetime.timedelta function operates on the date and the time concurrently, no need to treat their values separately.