a in [0, 536870911]: a*4+b safe=True   split applied=True
a in [0, 536870912]: a*4+b safe=False   split applied=False
a in [0, 1073741824]: a*4+b safe=False   split applied=False
a in [0, 2147483647]: a*4+b safe=False   split applied=False
