Add missing header <numeric> to format.cpp