>>> -0x86000000 + 0x8ec02000
146808832
>>> _/1024/1024
140.0078125