def METHOD_NAME(value, sort):
    """
    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.
    """
    if type(value) is int:
        value = float(value)
    elif type(value) is float:
        pass
    else:
        raise TypeError("Must instanciate FPV with a numerical value")
    if type(sort) is not fp.FSort:
        raise TypeError("Must instanciate FPV with a FSort")
    if sort == FSORT_FLOAT:
        # By default, Python treats all floating-point numbers as double-precision. However, a single-precision float is
        # being created here. Hence, we need to convert value to single-precision.
        value = struct.unpack("f", struct.pack("f", value))[0]
    return FP("FPV", (value, sort), length=sort.length)