Weyl sum