Don't depend on platform floating point support.
//-style comments were enabled by accident.
Document NOFLOAT.
Remove doc/Platforms, which was quite out of date.
Remove dead code.