Try to support ints in vampire and alt-ergo