Separate <stdfloat.h> from <cstdfloat>. Re-work some floating-point stuff.