Stuart_Armstrong comments on Hyperreal Brouwer