I have pretty extensive experience with nonstandard analysis and you’re right. It’s just way easier to use nonstandard analysis since we have so many intuitions

I have pretty extensive experience with nonstandard analysis and you’re right. It’s just way easier to use nonstandard analysis since we have so many intuitions for plain numbers, and the construction works in every structure.