[kadoban]

An AI-aided translation might make more sense, since at least you could review that for correctness and it'd likely be easier+cheaper to run the result.

[jmartrican]

I wonder if an AI system for the IRS would use double float or big decimal types to do its math.