Added Formula.newDefaultFactory().