ParentFull threadStraw·Yes, I would say that neither is really a number in the traditional sense of the word, nor in constructive analysis.View on HN