public BuiltinsInt __add__(BuiltinsInt o) => new BuiltinsInt().__init__(_x + o._x);
public BuiltinsInt __sub__(BuiltinsInt o) => new BuiltinsInt().__init__(_x - o._x);
public bool __le__(BuiltinsInt o) { return(_x <= o._x); }