v1.15.3: split math12803 into two parts (global and math.SE specific)