Class DoubleInterner