std::is_floating_point(3cxx) on Linux

The text 1df041f91aac, as Debian 7 (Wheezy) shipped it.

std::is_floating_point(3cxx) on Linux now