Constant PIO2_HI 

const PIO2_HI: f64 = 1.57079632679489655800e+00;