Symbol: sval_from_fval