float.cpp: now that we have float.c use some of the functions directly
this also workarounds the problem we were having on ubuntu 16.04 where we have to use std::isinf instead of isinf()
Showing
Please register or sign in to comment
this also workarounds the problem we were having on ubuntu 16.04 where we have to use std::isinf instead of isinf()