finish float_neg
finish float_neg