Fix a bug when division results in a float