-- Infinite if and only if value is not specified<br/>{[ isInfinte = True ] = [ value = Null ]}<br/>-- value is either infinite or non-negative<br/>{value #lt;#gt; Null implies value #gt;= 0}<br/>