What is the value of sqrt(7)?