Text this: Presburger Arithmetic with algebraic scalar multiplications