I have a feeling that this number 13 was a device rather than a font but it's worth a check. Is there a sans serif font which closely matches this, or is this a project for me to go and invent a number set from scratch?