pub const DEVPROP_TYPE_DOUBLE: u32 = 11; // 11u32