if ( ... >= "Inf") {