Ok. I'll have to change the `#include <cfloat>`s to `#include <float.h>`s then.