Add output as uint64_t.