add 2013-10-18-count_float_set_bits