Update float.cpp