f742 top-level property

double f742
getter/setter pair

Implementation

double f742 = f(742);