Nice — I like the idea of the "9" convention. It serves to catch the eye (9s are positively _harsh_ compared to other numbers) and show that it's meant more as

Nice — I like the idea of the "9" convention. It serves to catch the eye (9s are positively _harsh_ compared to other numbers) and show that it's meant more as a ballpark rather than a precisely chosen number for this specific field.