Constant sgx_tstd::f32::MIN_POSITIVE

pub const MIN_POSITIVE: f32 = f32::MIN_POSITIVE; // 1.17549435E-38f32

Smallest positive normal f32 value. Use f32::MIN_POSITIVE instead.