I noticed watching the recent 4K release of The Terminator that the garage attendant in the final scene has a piece of paper in his top pocket with "There's a storm coming“ written upside down on it.
"Casualties", not kills. Perhaps using floating point is for working with another Terminator, or the decimal value being calculated based on the wound inflicted, with a whole number being a kill.
Or really, just to Look Cool And Technical And Shit.