EmbeddedCurvePoint cannot represent the point at infinity

[TomAFrench]

The below code should return the point at infinity but instead it will fail to execute, we should update EmbeddedCurvePoint to have an infinity: bool field.

use dep::std::scalar_mul::EmbeddedCurvePoint;
use dep::std::println;

fn main() {
    let g1_x : Field = 0x0000000000000000000000000000000000000000000000000000000000000001;
    let g1_y : Field = 17631683881184975370165255887551781615748388533673675138860;

    let point = EmbeddedCurvePoint { x: g1_x, y: g1_y };
    let negated_point = EmbeddedCurvePoint { x: g1_x, y: -g1_y };

    let sum = point + negated_point;
    println(sum);
}