f513 top-level property

double f513
getter/setter pair

Implementation

double f513 = f(513);