int finite (F_TYPE x)
finite(x) = 1 when -infinity < x < +infinity.
finite(x) = 0 when |x| = infinity or x is a NaN.