Game Description Logic with Integers: A GDL Numerical Extension