Why you can't use `== (sqrt(3) + 2)/7`?