Fix type of int.__truediv__