Fix some more compiler errors/buglets. Start documenting cpp_bin_float. Correct some of the numeric_limits docs.