Symbol: pio2_hi