Existence and optimality of w-non-adjacent forms with an algebraic integer base