Do not use std namespace (so we don't have to deal with std::isfinite problems any longer, hopefully