fix bug in add_floats. issue #16