Constant maximum_number_nsz_f16 

pub const maximum_number_nsz_f16: Symbol;