* device/include/float.h: added __INFINITY