Constant sgx_tstd::f32::INFINITY

pub const INFINITY: f32 = f32::INFINITY; // +Inff32

Infinity (∞). Use f32::INFINITY instead.