Id(uint64_t) generates a INT64DEC id, not a BIGDEC one