../../Task/Approximate-equality/XPL0