double_INFINITY top-level constant

double const double_INFINITY

Implementation

const double_INFINITY = double.infinity;