Off-topic (though hand-picked integers isn't much of a topic to begin with..) do you know of a font, preferably serif, that has the little cross bar on the digit 7 that's common to hand-writing but seems to be shunned by most font designers?