This isn’t intuitive to people?

2/sqrt(2) = ( sqrt(2)*sqrt(2) ) / sqrt(2)

Then cancelling out one of the sqrt(2)s in numerator with the sqrt(2) in the denominator, you’re left with sqrt(2).

I do a lot of toodling around OpenSCAD, though, and sqrt(2) tends to come up a lot because, you know, Pythagoras and right triangles and all that.