I am checking on this.
uint64_t should work fine without additional custom code. Can you provide a testcase showing the exact behavior of the problem by following instructions here: https://sourcery.mentor.com/GNUToolchain/kbentry216?
It looks like the problem was due to a macro that I thought was being enabled actually wasn't being selected properly. It does seem to be doing the right thing now.