sqrt(10)/2