floatdiv update