f507 top-level property

double f507
getter/setter pair

Implementation

double f507 = f(507);