Constant maxnumf16 

pub const maxnumf16: Symbol;