Petr Sumbera : port: Add alternative for isinf.