-
According to the name of the corresponding domains.
According to the name of the corresponding domains.
cond.res.oracle 244 B
45,46c45,46
< dz ∈ [0x1.0000000000001p0 .. 0x1.4000000000000p3]
< dt ∈ [-0x1.4000000000000p3 .. 0x1.fffffffffffffp-1]
---
> dz ∈ [0x1.0000020000000p0 .. 0x1.4000000000000p3]
> dt ∈ [-0x1.4000000000000p3 .. 0x1.fffffe0000000p-1]