PUNK_DBL constant

double const PUNK_DBL

Implementation

static const double PUNK_DBL = 1e300;