h872 top-level property

double h872
getter/setter pair

Implementation

double h872 = h(872);