Delete floats_proposal_test.go~