Re: [boost] [numeric_interval] patch for HP-UX/ia64