added arctan2 function to Fixpoint