h725 top-level property

double h725
getter/setter pair

Implementation

double h725 = h(725);