What if pi is real $BTC