pmt: making uint64_t sugar more friendly