The value of the number pi inside Planetarium is, of course, the same as the value of pi outside Planetarium. If you need digits (and you don’t), 3.1415927 ought to do.