The one-dimensional Numeric Domains/Ranges Resolver