I was reading “write down” more generally than “write down each digit of in base ten,” but I guess that’s not how you meant it.
I was reading “write down” more generally than “write down each digit of in base ten,” but I guess that’s not how you meant it.