congruence property

double? congruence
getter/setter pair

Implementation

late double? congruence;