Commit a4aa30d9a080bbc50421285049e4379dcaf8a669

DRC 2019-02-13T22:03:31

ChangeLog.md: "floating-point"="floating point"