Template:cpp/header/dsc float.h