add cvtInt to convert uint64_t