Still more dof_id_type, -Wconversion fixes