f402 top-level property

double f402
getter/setter pair

Implementation

double f402 = f(402);