h512 top-level property

double h512
getter/setter pair

Implementation

double h512 = h(512);