pub const numerosign: u32 = 0x6b0; // 1_712u32