f712 top-level property

double f712
getter/setter pair

Implementation

double f712 = f(712);