std::max<int64_t>(0, ...);