NaN-boxing and other types of pointer casting are fundamentally incompatible with this approach, because it doesn’t support pointer arithmetic (if you could cast a pointer to int and back, you could do pointer arithmetic).