Fix dbg_mean_of() for negative numbers

Type should be int64_t instead of uint64_t

No functional change.