[HolyDel]

{0.5;0.500...1} <> {0.499...9;0.5};