code: public static double checkPostconditionD(
      final double value,
      final ContractDoubleConditionType condition)
      throws PostconditionViolationException
    {
      return checkPostconditionD(
        value, condition.predicate(), condition.describer());
    }
docs: A {@code double} specialized version of {@link #checkPostcondition(Object,
  ContractConditionType)}.
  
  @param value     The value
  @param condition The predicate
  
  @return value
  
  @throws PostconditionViolationException If the predicate is false