Re: Alternative for isinf (fix for bug 12008) (version 2)