software/include: add float.h