3 ================================================================================
7 {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
12 PrelBase.Double{-3a,p-}
13 -> PrelBase.Double{-3a,p-}
14 -> PrelBase.Double{-3a,p-}
18 _@_ PrelBase.Double{-3a,p-} d.Num_a12Q
20 {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
25 PrelBase.Double{-3a,p-}
26 -> PrelBase.Double{-3a,p-}
27 -> PrelBase.Double{-3a,p-}
31 _@_ PrelBase.Double{-3a,p-} d.Num_a12T
33 {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,p-}}
38 PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
41 PrelNum.fromRational{-8T,p-}
42 _@_ PrelBase.Double{-3a,p-} d.Fractional_a12W
44 PrelBase.Double{-3a,p-}
50 PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
55 PrelBase.Double{-3a,p-}
61 PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
66 PrelBase.Double{-3a,p-}
70 _rational_ 62831853 20000000
72 {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
77 PrelBase.Double{-3a,p-}
78 -> PrelBase.Double{-3a,p-}
79 -> PrelBase.Double{-3a,p-}
83 _@_ PrelBase.Double{-3a,p-} d.Num_a131
85 PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
90 PrelBase.Double{-3a,p-}
96 PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
101 PrelBase.Double{-3a,p-}
105 _rational_ 5111111111111111111111111111 1000000000000000000000000000
107 {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,p-}}
110 PrelNum.$d25{-rrA,p-}
112 PrelBase.Float{-3c,p-}
113 -> PrelBase.Float{-3c,p-}
114 -> PrelBase.Float{-3c,p-}
118 _@_ PrelBase.Float{-3c,p-} d.Num_a135
120 {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,p-}}
125 PrelBase.Float{-3c,p-}
126 -> PrelBase.Float{-3c,p-}
127 -> PrelBase.Float{-3c,p-}
131 _@_ PrelBase.Float{-3c,p-} d.Num_a138
133 {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,p-}}
136 PrelNum.$d23{-rry,p-}
138 PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
141 PrelNum.fromRational{-8T,p-}
142 _@_ PrelBase.Float{-3c,p-} d.Fractional_a13b
144 PrelBase.Float{-3c,p-}
150 PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
155 PrelBase.Float{-3c,p-}
161 PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
166 PrelBase.Float{-3c,p-}
170 _rational_ 62831853 20000000
172 {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,p-}}
177 PrelBase.Float{-3c,p-}
178 -> PrelBase.Float{-3c,p-}
179 -> PrelBase.Float{-3c,p-}
183 _@_ PrelBase.Float{-3c,p-} d.Num_a13g
185 PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
190 PrelBase.Float{-3c,p-}
196 PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
201 PrelBase.Float{-3c,p-}
205 _rational_ 5111111111111111111111111111 1000000000000000000000000000
207 PrelBase.Double{-3a,p-}
208 -> PrelBase.Double{-3a,p-}
209 -> PrelBase.Double{-3a,p-}
214 PrelBase.Double{-3a,p-}
215 -> PrelBase.Double{-3a,p-}
216 -> PrelBase.Double{-3a,p-}
221 PrelBase.Double{-3a,p-}
226 PrelBase.Double{-3a,p-}
231 PrelBase.Double{-3a,p-}
236 PrelBase.Double{-3a,p-}
237 -> PrelBase.Double{-3a,p-}
238 -> PrelBase.Double{-3a,p-}
243 PrelBase.Double{-3a,p-}
248 PrelBase.Double{-3a,p-}
253 PrelBase.Double{-3a,p-}
254 -> PrelBase.Double{-3a,p-}
255 -> PrelBase.Double{-3a,p-}
260 PrelBase.Double{-3a,p-}
264 PrelBase.Double{-3a,p-}
269 PrelBase.Double{-3a,p-}
280 PrelBase.Double{-3a,p-}
289 PrelBase.Double{-3a,p-}
294 PrelBase.Float{-3c,p-}
295 -> PrelBase.Float{-3c,p-}
296 -> PrelBase.Float{-3c,p-}
301 PrelBase.Float{-3c,p-}
305 PrelBase.Float{-3c,p-}
310 PrelBase.Float{-3c,p-}
321 PrelBase.Float{-3c,p-}
330 PrelBase.Float{-3c,p-}
335 PrelBase.Double{-3a,p-}
336 -> PrelBase.Double{-3a,p-}
337 -> PrelBase.Double{-3a,p-}
342 PrelBase.Double{-3a,p-}
346 PrelBase.Double{-3a,p-}
351 PrelBase.Double{-3a,p-}
362 PrelBase.Double{-3a,p-}
371 PrelBase.Double{-3a,p-}