Why is (min (inf) 1) = 1.0 inexact?