Fix rtruediv