Constant sgx_tstd::f64::MAX

pub const MAX: f64 = f64::MAX; // 1.7976931348623157E+308f64

Largest finite f64 value. Use f64::MAX instead.