The call dist[saturated](x, y) computes a saturated distance. Contrary to the non decorated case, it guarantees that the result is always defined. If \(|x-y|\) is not representable, the greatest representable positive value is returned.
dist[pedantic](x, y)computes a distance which is NaN if and only if one of the parameters is a NaN.