3 ms·and we got "IS [NOT] DISTINCT FROM" in the meantime, for better or worseby acimim_ha 2y agoand we got "IS [NOT] DISTINCT FROM" in the meantime, for better or worse