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