pub fn halve_u32<const P: u32>(input: u32) -> u32
Given an element x from a 32 bit field F_P compute x/2.