bfinn comments on Arithmetic is an underrated world-modeling technology