f912 top-level property

double f912
getter/setter pair

Implementation

double f912 = f(912);