h873 top-level property

double h873
getter/setter pair

Implementation

double h873 = h(873);