@hongminhee @pavsmith one of the most amusing things getting used to when moving to Korea was the way to write the numbers 1 and 7... before that I wouldn't have guessed that numbers are written differently (and hence confusingly for the outsider) in different cultures.
So it is definitely always a good idea to err on the side of being precise.