Div to truediv