TopResidualDebugOutputTopResidualData should take a dof_id_type
std::setw() takes an int.
NodalProxyMaxValue operates on dof_id_types.