number80 top-level constant

double const number80

Implementation

const double number80 = 80;