public Number size() { return _type.intervalSize(_lower, _upper); }
public Number size() { return _type.intervalSize(_lower, _upper); }
public Number size() { return _type.intervalSize(_lower, _upper); }
public Number size() { return _type.intervalSize(_lower, _upper); }