Constant f128_consts_mod 

pub const f128_consts_mod: Symbol;