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