documenting infix operator for string division