Skip to content
Snippets Groups Projects
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]