def FPV(value, sort):
return FP('<STR_LIT>', (value, sort), length=sort.length)<EOL>
Creates a concrete floating-point value.

:param value:   The value of the floating point.
:param sort:    The sort of the floating point.
:return:        An FP AST.