f438 top-level property

double f438
getter/setter pair

Implementation

double f438 = f(438);