a = Inf;
isinf (a)
