The text 071a29d5721c, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.
General decimal arithmetic
decimal(3tcl) on Linux now
