Should be fine as long as these government workers never have to use it for basic arithmetic. After all, when do governments deal with actual numbers?

What is 10,286x953751?

ChatGPT said: 10,286 × 953,751 = 9,817,342,086