Account for 64bit value in __sync emulation