To Run A Mars Mission, NASA's Insight Lander Will Need Pi