1234567891011121314
unsigned float_twice(unsigned uf) { if((uf << 1) == 0) return uf; else if((uf & 0x80000000) != 0){ uf = uf^0x80000000; uf = uf << 1; uf = uf^0x80000000; return uf; } else return uf<<1; }