fix bad code in float_debug