pub const decimalpoint: u32 = 0xabd; // 2_749u32