Constant maxnumf128 

pub const maxnumf128: Symbol;