use Inf constant, rather than inf