Searched refs:Double_Uns (Results 1 – 8 of 8) sorted by relevance
99 (Double_Uns (A) + Double_Uns (B));105 (Double_Uns (A) * Double_Uns (B));249 Post => Double_Uns'(2)**M < Double_Uns'(2)**N;257 Factor * Big (Double_Uns (X)) * Big (Double_Uns (Y)) =258 Factor * Big (Double_Uns (X) * Double_Uns (Y));387 Big (Double_Uns (X)) * Big (Double_Uns (Y)) =388 Big (Double_Uns (X) * Double_Uns (Y));539 Post => Double_Uns (Y - X) = Double_Uns (Y) - Double_Uns (X);816 (if Ru > (Du - Double_Uns'(1)) / Double_Uns'(2)1053 if Ru > (Du - Double_Uns'(1)) / Double_Uns'(2) then[all …]
43 type Double_Uns is mod <>; formal47 with function Shift_Left (A : Double_Uns; B : Natural) return Double_Uns50 with function Shift_Right (A : Double_Uns; B : Natural) return Double_Uns76 package Unsigned_Conversion is new Unsigned_Conversions (Int => Double_Uns);78 function Big (Arg : Double_Uns) return Big_Integer is
50 (Double_Uns (A) + Double_Uns (B));51 function "+" (A : Double_Uns; B : Single_Uns) return Double_Uns is52 (A + Double_Uns (B));56 (Double_Uns (A) * Double_Uns (B));59 function "/" (A : Double_Uns; B : Single_Uns) return Double_Uns is64 (Shift_Left (Double_Uns (Hi), Single_Size) or Double_Uns (Lo));74 function "rem" (A : Double_Uns; B : Single_Uns) return Double_Uns is239 if Round and then Ru > (Du - Double_Uns'(1)) / Double_Uns'(2) then381 Qu : Double_Uns;382 Ru : Double_Uns;[all …]
40 type Double_Uns is mod <>; formal44 with function Shift_Left (A : Double_Uns; B : Natural) return Double_Uns47 with function Shift_Right (A : Double_Uns; B : Natural) return Double_Uns