Function fpa::I3F13

pub fn I3F13<T>(x: T) -> <I3F13 as From<T>>::Output where
    I3F13: From<T>, 

Checked cast