float-round bug when divide by zero