Yup. Downside of how much tech has changed is stuff gets missed in a copy edit because the numbers sound so silly (to modern ears) they assume I haven't screwe

Yup. Downside of how much tech has changed is stuff gets missed in a copy edit because the numbers sound so silly (to modern ears) they assume I haven't screwed up a typo or find/replace. I'll flag it.