php property

double php
getter/setter pair

Implementation

double php;