Didn't the Patriot Missile start missing because of floating point mishandling?