[dworthing]

Would you then use the number indicator when the Tilde is used, as it is here, to mean “approximately”?

DR