Comment by cscheid

I don’t think this is pedantic in this case! It’s the relevant precision necessary to understand the way in which the title is notated.