2276c2278
<   *(p++) = C_FLONUM_TYPE | sizeof(double);
---
>   *(p++) = C_FLONUM_TAG;
2278c2280
<   *ptr = p + sizeof(double) / sizeof(C_word);
---
>   *ptr += C_SIZEOF_FLONUM;
2299c2303
<   *(p++) = C_FLONUM_TYPE | sizeof(double);
---
>   *(p++) = C_FLONUM_TAG;
2301c2305
<   *ptr = p + sizeof(double) / sizeof(C_word);
---
>   *ptr += C_SIZEOF_FLONUM;