Revert last change to force libc++. Remove std::defaultfloat reference.