precision property

int precision
getter/setter pair

Implementation

int precision = 0;