fix uint64 codec