Подходит использование эпсилона машины для тестов равенства с плавающей точкой?

_{Это - продолжение Тестирования на равенство значения с плавающей точкой: существует ли стандартное имя для постоянной “точности”?.
Существует очень похожий вопрос Double.Epsilon для равенства, больше, чем, меньше, чем, меньше чем или равный, больше, чем или равный.}

Известно, что тест равенства для двух X и Y значений с плавающей точкой должен больше походить на это (а не простое =):

брюшной пресс (x - y) <эпсилон  ,  где эпсилон является некоторым очень маленьким значением.

Как выбрать значение для эпсилона?

Очевидно, было бы предпочтительно выбрать для эпсилона максимально маленькое значение, получить максимально возможную точность для проверки равенства.

Как пример, платформа.NET предлагает константу System.Double.Epsilon (= ^{4.94066 × 10-324}), который представляет самое маленькое положительное System.Double значение, которое больше, чем нуль.

Однако оказывается, что это конкретное значение не может надежно использоваться в качестве эпсилона с тех пор:

0 + System.Double.Epsilon ≠ 0

1 + System.Double.Epsilon = 1 (!)

который является, если я понимаю правильно, потому что та константа является меньше, чем эпсилон машины.

→ Это корректно?

→ Делает это также означает, что я могу надежно использовать эпсилон: = эпсилон машины для тестов равенства?

_{Удаленный эти два вопроса, поскольку им уже соответственно отвечают вторым ТАК связанный вопрос - к вышеупомянутому.}

Связанный - к статье Wikipedia говорит это для 64-разрядных чисел с плавающей запятой (т.е. double введите на многих языках), эпсилон машины равен:

^2-53, или приблизительно 0,000000000000000111 (число с 15 обнуляет после десятичной точки),

→ Это следует из этого, что все 64-разрядные значения с плавающей точкой, как гарантируют, будут с точностью до 14 (если не 15) цифры?