Changed the effort indicator of IntPoly conversions to the recently
introduced record type.