pub fn get_sign_of_point(p: EmbeddedCurvePoint) -> bool
Returns: true if p.y <= MOD_DIV_2, else false.
Returns: true if p.y <= MOD_DIV_2, else false.