Well, this is a moot point as we're now frozen and it's not in. But FWIW, I think both GB and LB are right, so I'm in favor of a) adding att.ranging to <precision>, and b) not doing so now, so we can make sure the examples and discussion make sense, and consider deprecating @degree We can make a 2.5.0 release in a week or two, eh?