Decidability of extensions of Presburger arithmetic by generalised polynomials (Logical Methods in Computer Science, 2025)