$Inf was exposed by accident, one should use Inf