Injecting tag into mantissa of IEEE floating-point number

We all know how it is done for fixnums, but how does one hacks a 64-bit FPU number to snatch a few mantissa bits for a tag? I want it unboxed!

Using a tagspace!


double frame_buffer[WIDTH*HEIGHT];
bit is_selected[WIDTH*HEIGHT];