this also workarounds the problem we were having on ubuntu 16.04 where we have to use std::isinf instead of isinf()