ietf doc: more source code formatting changes, got rid of float_cast.h
4 files changed