Update float_stm.cpp