pi top-level constant

double const pi

Implementation

const pi = pi1;