def edges

bendtorch-core@0.1.0.0 · src/tensor/relu_LAWS.bend:11

import Base

11# The edge words: +0.0, -0.0, the smallest and largest denormals, the
12# smallest normal, 1.0, the largest finite, the infinities, the signaling
13# NaN 0x7F800001, the quiet NaN 0x7FC00000 and the all-ones NaN 0x7FFFFFFF,
14# each followed by its negative.
15def edges() -> List<&2, U32>:
16  [0, 2147483648, 1, 2147483649, 8388607, 2155872255, 8388608, 2155872256, 1065353216, 3212836864,
17    2139095039, 4286578687, 2139095040, 4286578688, 2139095041, 4286578689, 2143289344, 4290772992,
18    2147483647, 4294967295]