Thank you for the reference! Your explanation makes sense to me. I'm curious if students that struggle with learning decimal expansions and limits are just subconsciously rejecting the non-constructive foundations of the math they're learning. Probably not, but it's fascinating regardless.