Constant gdk_sys::GDK_KEY_numerosign

pub const GDK_KEY_numerosign: c_int = 1712;