SPLIT12 is now done as a sqrt