zkWasm only supports an integer output type