Add missing header <numeric> to format.h