1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
|
--TEST--
Random: Randomizer: getFloat(): Returned floats have equal distance.
--FILE--
<?php
use Random\Engine;
use Random\Engine\Test\TestCountingEngine64;
use Random\IntervalBoundary;
use Random\Randomizer;
require __DIR__ . "/../../engines.inc";
function run_test(Randomizer $r, float $min, float $max, int $count) {
printf("[%.17g, %.17g]\n", $min, $max);
$prev = null;
for ($i = 0; $i < $count; $i++) {
$float = $r->getFloat($min, $max, IntervalBoundary::ClosedClosed);
printf("%.17f", $float);
if ($prev !== null) {
printf(" (%+.17g)", ($float - $prev));
if ($prev < $float) {
printf("\nRepeat");
}
}
printf("\n");
$prev = $float;
}
}
run_test(
new Randomizer(new TestCountingEngine64()),
1.99999999999999,
2.00000000000001,
150,
);
echo "==================", PHP_EOL, PHP_EOL;
run_test(
new Randomizer(new TestCountingEngine64()),
1.99999999999999,
2.00000000000000,
150,
);
echo "==================", PHP_EOL, PHP_EOL;
run_test(
new Randomizer(new TestCountingEngine64()),
2.00000000000000,
2.00000000000001,
60,
);
?>
--EXPECT--
[1.99999999999999, 2.0000000000000102]
2.00000000000001021
2.00000000000000977 (-4.4408920985006262e-16)
2.00000000000000933 (-4.4408920985006262e-16)
2.00000000000000888 (-4.4408920985006262e-16)
2.00000000000000844 (-4.4408920985006262e-16)
2.00000000000000799 (-4.4408920985006262e-16)
2.00000000000000755 (-4.4408920985006262e-16)
2.00000000000000711 (-4.4408920985006262e-16)
2.00000000000000666 (-4.4408920985006262e-16)
2.00000000000000622 (-4.4408920985006262e-16)
2.00000000000000577 (-4.4408920985006262e-16)
2.00000000000000533 (-4.4408920985006262e-16)
2.00000000000000488 (-4.4408920985006262e-16)
2.00000000000000444 (-4.4408920985006262e-16)
2.00000000000000400 (-4.4408920985006262e-16)
2.00000000000000355 (-4.4408920985006262e-16)
2.00000000000000311 (-4.4408920985006262e-16)
2.00000000000000266 (-4.4408920985006262e-16)
2.00000000000000222 (-4.4408920985006262e-16)
2.00000000000000178 (-4.4408920985006262e-16)
2.00000000000000133 (-4.4408920985006262e-16)
2.00000000000000089 (-4.4408920985006262e-16)
2.00000000000000044 (-4.4408920985006262e-16)
2.00000000000000000 (-4.4408920985006262e-16)
1.99999999999999956 (-4.4408920985006262e-16)
1.99999999999999911 (-4.4408920985006262e-16)
1.99999999999999867 (-4.4408920985006262e-16)
1.99999999999999822 (-4.4408920985006262e-16)
1.99999999999999778 (-4.4408920985006262e-16)
1.99999999999999734 (-4.4408920985006262e-16)
1.99999999999999689 (-4.4408920985006262e-16)
1.99999999999999645 (-4.4408920985006262e-16)
1.99999999999999600 (-4.4408920985006262e-16)
1.99999999999999556 (-4.4408920985006262e-16)
1.99999999999999512 (-4.4408920985006262e-16)
1.99999999999999467 (-4.4408920985006262e-16)
1.99999999999999423 (-4.4408920985006262e-16)
1.99999999999999378 (-4.4408920985006262e-16)
1.99999999999999334 (-4.4408920985006262e-16)
1.99999999999999289 (-4.4408920985006262e-16)
1.99999999999999245 (-4.4408920985006262e-16)
1.99999999999999201 (-4.4408920985006262e-16)
1.99999999999999156 (-4.4408920985006262e-16)
1.99999999999999112 (-4.4408920985006262e-16)
1.99999999999999067 (-4.4408920985006262e-16)
1.99999999999999023 (-4.4408920985006262e-16)
1.99999999999999001 (-2.2204460492503131e-16)
2.00000000000001021 (+2.0206059048177849e-14)
Repeat
2.00000000000000977 (-4.4408920985006262e-16)
2.00000000000000933 (-4.4408920985006262e-16)
2.00000000000000888 (-4.4408920985006262e-16)
2.00000000000000844 (-4.4408920985006262e-16)
2.00000000000000799 (-4.4408920985006262e-16)
2.00000000000000755 (-4.4408920985006262e-16)
2.00000000000000711 (-4.4408920985006262e-16)
2.00000000000000666 (-4.4408920985006262e-16)
2.00000000000000622 (-4.4408920985006262e-16)
2.00000000000000577 (-4.4408920985006262e-16)
2.00000000000000533 (-4.4408920985006262e-16)
2.00000000000000488 (-4.4408920985006262e-16)
2.00000000000000444 (-4.4408920985006262e-16)
2.00000000000000400 (-4.4408920985006262e-16)
2.00000000000000355 (-4.4408920985006262e-16)
2.00000000000000311 (-4.4408920985006262e-16)
2.00000000000000266 (-4.4408920985006262e-16)
2.00000000000000222 (-4.4408920985006262e-16)
2.00000000000000178 (-4.4408920985006262e-16)
2.00000000000000133 (-4.4408920985006262e-16)
2.00000000000000089 (-4.4408920985006262e-16)
2.00000000000000044 (-4.4408920985006262e-16)
2.00000000000000000 (-4.4408920985006262e-16)
1.99999999999999956 (-4.4408920985006262e-16)
1.99999999999999911 (-4.4408920985006262e-16)
1.99999999999999867 (-4.4408920985006262e-16)
1.99999999999999822 (-4.4408920985006262e-16)
1.99999999999999778 (-4.4408920985006262e-16)
1.99999999999999734 (-4.4408920985006262e-16)
1.99999999999999689 (-4.4408920985006262e-16)
1.99999999999999645 (-4.4408920985006262e-16)
1.99999999999999600 (-4.4408920985006262e-16)
1.99999999999999556 (-4.4408920985006262e-16)
1.99999999999999512 (-4.4408920985006262e-16)
1.99999999999999467 (-4.4408920985006262e-16)
1.99999999999999423 (-4.4408920985006262e-16)
1.99999999999999378 (-4.4408920985006262e-16)
1.99999999999999334 (-4.4408920985006262e-16)
1.99999999999999289 (-4.4408920985006262e-16)
1.99999999999999245 (-4.4408920985006262e-16)
1.99999999999999201 (-4.4408920985006262e-16)
1.99999999999999156 (-4.4408920985006262e-16)
1.99999999999999112 (-4.4408920985006262e-16)
1.99999999999999067 (-4.4408920985006262e-16)
1.99999999999999023 (-4.4408920985006262e-16)
1.99999999999999001 (-2.2204460492503131e-16)
2.00000000000001021 (+2.0206059048177849e-14)
Repeat
2.00000000000000977 (-4.4408920985006262e-16)
2.00000000000000933 (-4.4408920985006262e-16)
2.00000000000000888 (-4.4408920985006262e-16)
2.00000000000000844 (-4.4408920985006262e-16)
2.00000000000000799 (-4.4408920985006262e-16)
2.00000000000000755 (-4.4408920985006262e-16)
2.00000000000000711 (-4.4408920985006262e-16)
2.00000000000000666 (-4.4408920985006262e-16)
2.00000000000000622 (-4.4408920985006262e-16)
2.00000000000000577 (-4.4408920985006262e-16)
2.00000000000000533 (-4.4408920985006262e-16)
2.00000000000000488 (-4.4408920985006262e-16)
2.00000000000000444 (-4.4408920985006262e-16)
2.00000000000000400 (-4.4408920985006262e-16)
2.00000000000000355 (-4.4408920985006262e-16)
2.00000000000000311 (-4.4408920985006262e-16)
2.00000000000000266 (-4.4408920985006262e-16)
2.00000000000000222 (-4.4408920985006262e-16)
2.00000000000000178 (-4.4408920985006262e-16)
2.00000000000000133 (-4.4408920985006262e-16)
2.00000000000000089 (-4.4408920985006262e-16)
2.00000000000000044 (-4.4408920985006262e-16)
2.00000000000000000 (-4.4408920985006262e-16)
1.99999999999999956 (-4.4408920985006262e-16)
1.99999999999999911 (-4.4408920985006262e-16)
1.99999999999999867 (-4.4408920985006262e-16)
1.99999999999999822 (-4.4408920985006262e-16)
1.99999999999999778 (-4.4408920985006262e-16)
1.99999999999999734 (-4.4408920985006262e-16)
1.99999999999999689 (-4.4408920985006262e-16)
1.99999999999999645 (-4.4408920985006262e-16)
1.99999999999999600 (-4.4408920985006262e-16)
1.99999999999999556 (-4.4408920985006262e-16)
1.99999999999999512 (-4.4408920985006262e-16)
1.99999999999999467 (-4.4408920985006262e-16)
1.99999999999999423 (-4.4408920985006262e-16)
1.99999999999999378 (-4.4408920985006262e-16)
1.99999999999999334 (-4.4408920985006262e-16)
1.99999999999999289 (-4.4408920985006262e-16)
1.99999999999999245 (-4.4408920985006262e-16)
1.99999999999999201 (-4.4408920985006262e-16)
1.99999999999999156 (-4.4408920985006262e-16)
1.99999999999999112 (-4.4408920985006262e-16)
1.99999999999999067 (-4.4408920985006262e-16)
1.99999999999999023 (-4.4408920985006262e-16)
1.99999999999999001 (-2.2204460492503131e-16)
2.00000000000001021 (+2.0206059048177849e-14)
Repeat
2.00000000000000977 (-4.4408920985006262e-16)
2.00000000000000933 (-4.4408920985006262e-16)
2.00000000000000888 (-4.4408920985006262e-16)
2.00000000000000844 (-4.4408920985006262e-16)
2.00000000000000799 (-4.4408920985006262e-16)
2.00000000000000755 (-4.4408920985006262e-16)
2.00000000000000711 (-4.4408920985006262e-16)
2.00000000000000666 (-4.4408920985006262e-16)
==================
[1.99999999999999, 2]
2.00000000000000000
1.99999999999999978 (-2.2204460492503131e-16)
1.99999999999999956 (-2.2204460492503131e-16)
1.99999999999999933 (-2.2204460492503131e-16)
1.99999999999999911 (-2.2204460492503131e-16)
1.99999999999999889 (-2.2204460492503131e-16)
1.99999999999999867 (-2.2204460492503131e-16)
1.99999999999999845 (-2.2204460492503131e-16)
1.99999999999999822 (-2.2204460492503131e-16)
1.99999999999999800 (-2.2204460492503131e-16)
1.99999999999999778 (-2.2204460492503131e-16)
1.99999999999999756 (-2.2204460492503131e-16)
1.99999999999999734 (-2.2204460492503131e-16)
1.99999999999999711 (-2.2204460492503131e-16)
1.99999999999999689 (-2.2204460492503131e-16)
1.99999999999999667 (-2.2204460492503131e-16)
1.99999999999999645 (-2.2204460492503131e-16)
1.99999999999999623 (-2.2204460492503131e-16)
1.99999999999999600 (-2.2204460492503131e-16)
1.99999999999999578 (-2.2204460492503131e-16)
1.99999999999999556 (-2.2204460492503131e-16)
1.99999999999999534 (-2.2204460492503131e-16)
1.99999999999999512 (-2.2204460492503131e-16)
1.99999999999999489 (-2.2204460492503131e-16)
1.99999999999999467 (-2.2204460492503131e-16)
1.99999999999999445 (-2.2204460492503131e-16)
1.99999999999999423 (-2.2204460492503131e-16)
1.99999999999999400 (-2.2204460492503131e-16)
1.99999999999999378 (-2.2204460492503131e-16)
1.99999999999999356 (-2.2204460492503131e-16)
1.99999999999999334 (-2.2204460492503131e-16)
1.99999999999999312 (-2.2204460492503131e-16)
1.99999999999999289 (-2.2204460492503131e-16)
1.99999999999999267 (-2.2204460492503131e-16)
1.99999999999999245 (-2.2204460492503131e-16)
1.99999999999999223 (-2.2204460492503131e-16)
1.99999999999999201 (-2.2204460492503131e-16)
1.99999999999999178 (-2.2204460492503131e-16)
1.99999999999999156 (-2.2204460492503131e-16)
1.99999999999999134 (-2.2204460492503131e-16)
1.99999999999999112 (-2.2204460492503131e-16)
1.99999999999999090 (-2.2204460492503131e-16)
1.99999999999999067 (-2.2204460492503131e-16)
1.99999999999999045 (-2.2204460492503131e-16)
1.99999999999999023 (-2.2204460492503131e-16)
1.99999999999999001 (-2.2204460492503131e-16)
2.00000000000000000 (+9.9920072216264089e-15)
Repeat
1.99999999999999978 (-2.2204460492503131e-16)
1.99999999999999956 (-2.2204460492503131e-16)
1.99999999999999933 (-2.2204460492503131e-16)
1.99999999999999911 (-2.2204460492503131e-16)
1.99999999999999889 (-2.2204460492503131e-16)
1.99999999999999867 (-2.2204460492503131e-16)
1.99999999999999845 (-2.2204460492503131e-16)
1.99999999999999822 (-2.2204460492503131e-16)
1.99999999999999800 (-2.2204460492503131e-16)
1.99999999999999778 (-2.2204460492503131e-16)
1.99999999999999756 (-2.2204460492503131e-16)
1.99999999999999734 (-2.2204460492503131e-16)
1.99999999999999711 (-2.2204460492503131e-16)
1.99999999999999689 (-2.2204460492503131e-16)
1.99999999999999667 (-2.2204460492503131e-16)
1.99999999999999645 (-2.2204460492503131e-16)
1.99999999999999623 (-2.2204460492503131e-16)
1.99999999999999600 (-2.2204460492503131e-16)
1.99999999999999578 (-2.2204460492503131e-16)
1.99999999999999556 (-2.2204460492503131e-16)
1.99999999999999534 (-2.2204460492503131e-16)
1.99999999999999512 (-2.2204460492503131e-16)
1.99999999999999489 (-2.2204460492503131e-16)
1.99999999999999467 (-2.2204460492503131e-16)
1.99999999999999445 (-2.2204460492503131e-16)
1.99999999999999423 (-2.2204460492503131e-16)
1.99999999999999400 (-2.2204460492503131e-16)
1.99999999999999378 (-2.2204460492503131e-16)
1.99999999999999356 (-2.2204460492503131e-16)
1.99999999999999334 (-2.2204460492503131e-16)
1.99999999999999312 (-2.2204460492503131e-16)
1.99999999999999289 (-2.2204460492503131e-16)
1.99999999999999267 (-2.2204460492503131e-16)
1.99999999999999245 (-2.2204460492503131e-16)
1.99999999999999223 (-2.2204460492503131e-16)
1.99999999999999201 (-2.2204460492503131e-16)
1.99999999999999178 (-2.2204460492503131e-16)
1.99999999999999156 (-2.2204460492503131e-16)
1.99999999999999134 (-2.2204460492503131e-16)
1.99999999999999112 (-2.2204460492503131e-16)
1.99999999999999090 (-2.2204460492503131e-16)
1.99999999999999067 (-2.2204460492503131e-16)
1.99999999999999045 (-2.2204460492503131e-16)
1.99999999999999023 (-2.2204460492503131e-16)
1.99999999999999001 (-2.2204460492503131e-16)
2.00000000000000000 (+9.9920072216264089e-15)
Repeat
1.99999999999999978 (-2.2204460492503131e-16)
1.99999999999999956 (-2.2204460492503131e-16)
1.99999999999999933 (-2.2204460492503131e-16)
1.99999999999999911 (-2.2204460492503131e-16)
1.99999999999999889 (-2.2204460492503131e-16)
1.99999999999999867 (-2.2204460492503131e-16)
1.99999999999999845 (-2.2204460492503131e-16)
1.99999999999999822 (-2.2204460492503131e-16)
1.99999999999999800 (-2.2204460492503131e-16)
1.99999999999999778 (-2.2204460492503131e-16)
1.99999999999999756 (-2.2204460492503131e-16)
1.99999999999999734 (-2.2204460492503131e-16)
1.99999999999999711 (-2.2204460492503131e-16)
1.99999999999999689 (-2.2204460492503131e-16)
1.99999999999999667 (-2.2204460492503131e-16)
1.99999999999999645 (-2.2204460492503131e-16)
1.99999999999999623 (-2.2204460492503131e-16)
1.99999999999999600 (-2.2204460492503131e-16)
1.99999999999999578 (-2.2204460492503131e-16)
1.99999999999999556 (-2.2204460492503131e-16)
1.99999999999999534 (-2.2204460492503131e-16)
1.99999999999999512 (-2.2204460492503131e-16)
1.99999999999999489 (-2.2204460492503131e-16)
1.99999999999999467 (-2.2204460492503131e-16)
1.99999999999999445 (-2.2204460492503131e-16)
1.99999999999999423 (-2.2204460492503131e-16)
1.99999999999999400 (-2.2204460492503131e-16)
1.99999999999999378 (-2.2204460492503131e-16)
1.99999999999999356 (-2.2204460492503131e-16)
1.99999999999999334 (-2.2204460492503131e-16)
1.99999999999999312 (-2.2204460492503131e-16)
1.99999999999999289 (-2.2204460492503131e-16)
1.99999999999999267 (-2.2204460492503131e-16)
1.99999999999999245 (-2.2204460492503131e-16)
1.99999999999999223 (-2.2204460492503131e-16)
1.99999999999999201 (-2.2204460492503131e-16)
1.99999999999999178 (-2.2204460492503131e-16)
1.99999999999999156 (-2.2204460492503131e-16)
1.99999999999999134 (-2.2204460492503131e-16)
1.99999999999999112 (-2.2204460492503131e-16)
1.99999999999999090 (-2.2204460492503131e-16)
1.99999999999999067 (-2.2204460492503131e-16)
1.99999999999999045 (-2.2204460492503131e-16)
1.99999999999999023 (-2.2204460492503131e-16)
1.99999999999999001 (-2.2204460492503131e-16)
2.00000000000000000 (+9.9920072216264089e-15)
Repeat
1.99999999999999978 (-2.2204460492503131e-16)
1.99999999999999956 (-2.2204460492503131e-16)
1.99999999999999933 (-2.2204460492503131e-16)
1.99999999999999911 (-2.2204460492503131e-16)
1.99999999999999889 (-2.2204460492503131e-16)
1.99999999999999867 (-2.2204460492503131e-16)
1.99999999999999845 (-2.2204460492503131e-16)
1.99999999999999822 (-2.2204460492503131e-16)
1.99999999999999800 (-2.2204460492503131e-16)
1.99999999999999778 (-2.2204460492503131e-16)
1.99999999999999756 (-2.2204460492503131e-16)
==================
[2, 2.0000000000000102]
2.00000000000001021
2.00000000000000977 (-4.4408920985006262e-16)
2.00000000000000933 (-4.4408920985006262e-16)
2.00000000000000888 (-4.4408920985006262e-16)
2.00000000000000844 (-4.4408920985006262e-16)
2.00000000000000799 (-4.4408920985006262e-16)
2.00000000000000755 (-4.4408920985006262e-16)
2.00000000000000711 (-4.4408920985006262e-16)
2.00000000000000666 (-4.4408920985006262e-16)
2.00000000000000622 (-4.4408920985006262e-16)
2.00000000000000577 (-4.4408920985006262e-16)
2.00000000000000533 (-4.4408920985006262e-16)
2.00000000000000488 (-4.4408920985006262e-16)
2.00000000000000444 (-4.4408920985006262e-16)
2.00000000000000400 (-4.4408920985006262e-16)
2.00000000000000355 (-4.4408920985006262e-16)
2.00000000000000311 (-4.4408920985006262e-16)
2.00000000000000266 (-4.4408920985006262e-16)
2.00000000000000222 (-4.4408920985006262e-16)
2.00000000000000178 (-4.4408920985006262e-16)
2.00000000000000133 (-4.4408920985006262e-16)
2.00000000000000089 (-4.4408920985006262e-16)
2.00000000000000044 (-4.4408920985006262e-16)
2.00000000000000000 (-4.4408920985006262e-16)
2.00000000000001021 (+1.021405182655144e-14)
Repeat
2.00000000000000977 (-4.4408920985006262e-16)
2.00000000000000933 (-4.4408920985006262e-16)
2.00000000000000888 (-4.4408920985006262e-16)
2.00000000000000844 (-4.4408920985006262e-16)
2.00000000000000799 (-4.4408920985006262e-16)
2.00000000000000755 (-4.4408920985006262e-16)
2.00000000000000711 (-4.4408920985006262e-16)
2.00000000000000666 (-4.4408920985006262e-16)
2.00000000000000622 (-4.4408920985006262e-16)
2.00000000000000577 (-4.4408920985006262e-16)
2.00000000000000533 (-4.4408920985006262e-16)
2.00000000000000488 (-4.4408920985006262e-16)
2.00000000000000444 (-4.4408920985006262e-16)
2.00000000000000400 (-4.4408920985006262e-16)
2.00000000000000355 (-4.4408920985006262e-16)
2.00000000000000311 (-4.4408920985006262e-16)
2.00000000000000266 (-4.4408920985006262e-16)
2.00000000000000222 (-4.4408920985006262e-16)
2.00000000000000178 (-4.4408920985006262e-16)
2.00000000000000133 (-4.4408920985006262e-16)
2.00000000000000089 (-4.4408920985006262e-16)
2.00000000000000044 (-4.4408920985006262e-16)
2.00000000000000000 (-4.4408920985006262e-16)
2.00000000000001021 (+1.021405182655144e-14)
Repeat
2.00000000000000977 (-4.4408920985006262e-16)
2.00000000000000933 (-4.4408920985006262e-16)
2.00000000000000888 (-4.4408920985006262e-16)
2.00000000000000844 (-4.4408920985006262e-16)
2.00000000000000799 (-4.4408920985006262e-16)
2.00000000000000755 (-4.4408920985006262e-16)
2.00000000000000711 (-4.4408920985006262e-16)
2.00000000000000666 (-4.4408920985006262e-16)
2.00000000000000622 (-4.4408920985006262e-16)
2.00000000000000577 (-4.4408920985006262e-16)
2.00000000000000533 (-4.4408920985006262e-16)
|
