h712 top-level property

double h712
getter/setter pair

Implementation

double h712 = h(712);