pub const DEVPROP_TYPE_DECIMAL: u32 = 12; // 12u32