- // We want to store the IEE754 float into ram from a generic
- // 32-bit int. First, convert it to double float, then cast
- // that to 64-bit, then convert to big endian (if needed)
- // and then store it (phew!)
- vv = *(float *)&aNexval;
- vvv = BYTESWAP64(*(unsigned long long *)&vv);
-
- D_double(vvv);