The heavier metalloids continue the theme. Arsenic can form alloys with metals, including platinum and copper; it is also added to copper and its alloys to improve corrosion resistance and appears to confer the same benefit when added to magnesium. Antimony is well known as an alloy-former, including with the coinage metals. Its alloys include pewter (a tin alloy with up to 20% antimony) and type metal (a lead alloy with up to 25% antimony). Tellurium readily alloys with iron, as ferrotellurium (50–58% tellurium), and with copper, in the form of copper tellurium (40–50% tellurium). Ferrotellurium is used as a stabilizer for carbon in steel casting. Of the non-metallic elements less often recognised as metalloids, selenium—in the form of ferroselenium (50–58% selenium)—is used to improve the machinability of stainless steels.