Email Record: Presburger Arithmetic with algebraic scalar multiplications