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