Constant maxnumf64 

pub const maxnumf64: Symbol;