Were the holes in ungrounded sockets smaller too?

(Full size (4.8 mm) solid pins on our ungrounded plugs. I've seen old ones with sleeves, but it's not used today)