this suggests the name will end up being about as long as the total number of stars: The stars are named Joe Biden. I like doing math that involves measuring the lengths of numbers written out on the page (which is really just a way of loosely estimating log10x). It works, but it feels so wrong.
