All functions expect and return points satisfying the following condition: Z == 0 or Z == 1. (Other values of Z are used by internal functions only.) The point is zero, or "at infinity", if Z == 0. Otherwise, X and Y are its standard (affine) coordinates.