double_MAX_FINITE top-level constant

double const double_MAX_FINITE

Implementation

const double_MAX_FINITE = double.maxFinite;