Symbol: ln2pi_hi