Are these numbers cast or stamped? Mine are stamped on a smooth part of the casting to the rear of the distributor.