def get_virtual_cst(prec, value, language):
    """ Generate coding of constant <value> in language assuming
        format <prec> """
    return prec.get_support_format().get_cst(
        prec.get_base_format().get_integer_coding(value, language))