f512 top-level property

double f512
getter/setter pair

Implementation

double f512 = f(512);