On Fri, Oct 17, 2014 at 4:00 PM, Yoann Padioleau <pad@fb.com> wrote:

0:int - x   was not enough for those balancing(?) and promoting thing?

It's enough for type promotion, but you changed the semantics of the program.