number15 top-level constant

double const number15

Implementation

const double number15 = 15;