Interface ExtendedDoubleCounter