Reasons: 1) uncertain efficiency gain/loss, 2) theoretically it may fail, 3) .sizeof does not include the payload,4) analysis of the assembler generated by our reference compiler (Prospero) shows that it also uses index conversion. (Interestingly, it does so at compile time, when possible).
Thanks for many interesting insights. Bastiaan.