4.129.7 M_PI_2

The constant pi/2.