static integer abs(const integer &x){
     return x.abs();
 }