php property

double? php
getter/setter pair

Implementation

double? php;