A circle is centered at the origin. The coordinates of one end point of a diameter are (3 + square root of 2, -4). What are the coordinates of the other endpoint of the diameter?