Version 20130313.2302.
Regenerate file.
Document minf, maxf, addf, subf, mulf, and divf macros.
Regenerate file.