public NumericAttribute(double rawvalue, NumericAttributeSpecification spec) { this.value = rawvalue; this.spec = spec; }