Add reference to float.h