Symbol: fmaximum_numf