f538 top-level property

double f538
getter/setter pair

Implementation

double f538 = f(538);