Symbol: fp_mant128