Function __fmaximum_mag_numl 

pub unsafe extern "C" fn __fmaximum_mag_numl(
    __x: u128,
    __y: u128,
) -> u128