What is the exact value of #cot (pi/2)#?