f503 top-level property

double f503
getter/setter pair

Implementation

double f503 = f(503);