Thread: half an int

Hello all, just a quick quest:

is half an unsigned int 0x80000000 or 0x7FFFFFFF?

0xFFFFFFFF / 2 = 0x7FFFFFFF

but

0x7FFFFFFF * 2 = 0xFFFFFFFE

(note the trailing E)

and

0x80000000 * 2 = 0x0 (or more exactly 0x100000000 (9 digits))

I opt for 0x7FFFFFFF (as 2 * the half shouldnt be 0!)

Any comments or thoughts?