same question as above with respect to explicit mention of `Inf`