Well 1001 could mean anything. Your joke only works if it is binary though, so you mean 0b1001?
0b1001
I guess I called it:
Blushes Thanks. And this part should help:
EDIT: 9.75 is 0b01000001000111000000000000000000 if you use the IEEE-754 format