A fast-check arbitrary for f64 scalars in [min, max], excluding subnormals.
Used for dasum's x (Float64Array): the double-double kernel splits each
double into a (hi, lo) f32 pair, so the same FTZ-safety floor as floatArb
applies to both halves. hi/lo are always genuine f32 values (never raw
bits), so no NaN-bit-pattern filter is needed here — see f64.mjs.
Parameters
min: any
max: any
Returns Arbitrary<number>
fast-check arbitrary that generates usable f64 scalars
A fast-check arbitrary for f64 scalars in
[min, max], excluding subnormals. Used for dasum's x (Float64Array): the double-double kernel splits each double into a (hi, lo) f32 pair, so the same FTZ-safety floor asfloatArbapplies to both halves. hi/lo are always genuine f32 values (never raw bits), so no NaN-bit-pattern filter is needed here — see f64.mjs.