[0ia, 1_000_000_000_000_000_000_000_000_000_000ia, -1_000_000_000_000_000_000_000_000_000_000ia, 11111111111111111111111111]
Range(-3, 4)->(CastIA(-1 shl 53) + it)
Range(-3, 4)->(CastIA(1 shl 53) + it)
[1ia, -1ia, null]

[0i8, 0x7FFF_FFFF_FFFF_FFFF, 0x8000_0000_0000_0000i8]
Range(-3, 4)->((-1 shl 53) + it)
Range(-3, 4)->((1 shl 53) + it)
[1i8, -1i8, null]

[0u8, 0x8000_0000_0000_0000u8]
Range(-3, 4)->(CastU8((1u shl 53) + it))
[1u8, null]