We definitely know that Pi is irrational, we just don't know if it's normal (i.e. if the PiFS joke even works).