Constant F64X2_RELAXED_MAX 

pub const F64X2_RELAXED_MAX: u32 = 238;