NumberFrom [sqrt(pi)/2]