bugfix in truediv and add rtruediv