@mathpunk @tweetsauce I'd guess it goes by checking everything up to the first power of 10 bigger than 9!