Philip Grierson's contribution to numismatics.