r3 property

double r3
getter/setter pair

Implementation

double r3 = Random().nextDouble();