git subrepo commit (merge) float

subrepo:
  subdir:   "float"
  merged:   "1d127174"
upstream:
  origin:   "https://git.autistici.org/ai3/float.git"
  branch:   "master"
  commit:   "c2c4ad89"
git-subrepo:
  version:  "0.4.3"
  origin:   "git@github.com:ingydotnet/git-subrepo"
  commit:   "2f68596"