NUMPRS_THOUSANDS top-level constant

int const NUMPRS_THOUSANDS

Implementation

const int NUMPRS_THOUSANDS = 512;