NaN-boxing in C