stp.FPVal

stp.FPVal(v, sort, rm=None)

A floating-point literal: a float’s exact binary64 value or an int, rounded once to sort under rm (the manager’s default); a str (“0.1”, “1/3”, “-2.5e-3”) or a Fraction is an exact decimal/rational literal rounded once.