Which set of double numbers ?