Update float.hh