timestamp for src/floatconfig.h
