infinity() = Inf