Function extgcd_binary 

pub fn extgcd_binary(a: i64, b: i64) -> (i64, i64, i64)