Function encode_point 

pub fn encode_point(y: Fe17, x_negative: bool) -> [b64; 4]

Encoded R from canonical affine y and the sign of x.

RFC 8032 point encoding: y little-endian with the sign of x in bit 255 (free because y < p < 2^255).