pub fn of_quotient<F: FieldWitness>(
precision: usize,
top: SnarkyInteger<F>,
bottom: SnarkyInteger<F>,
w: &mut Witness<F>,
) -> Point<F>
pub fn of_quotient<F: FieldWitness>(
precision: usize,
top: SnarkyInteger<F>,
bottom: SnarkyInteger<F>,
w: &mut Witness<F>,
) -> Point<F>