Time_t64 broken on 32bit

Hi,

regarding Bug report

Wondering if there is any chance of this being fixed in 16.3?

Leads to another question. What is the future, for gnat on 32bit?

Regards,

Peter