@RAnachro Yes, that's what led me to the question. I feel like something like ℚ[√] should do