Алгебарска-прецизност аритметике