Function balanced_lift 

pub fn balanced_lift(x: &BigUint, m: &BigUint) -> BigInt

Balanced (symmetric) lift of x mod m into (-m/2, m/2].