Delete floats_proposal.go~