Symbol: fmaximum_num