a = Inf;
finite (a)
