Type punning for Sphax