Class ImmutableDoubleEmptySet