proximity property

double proximity
getter/setter pair

Implementation

late double proximity;