The text ba1a3744e10f, as Debian 10 (Buster) shipped it.
format a number from human readable form
expand_number(3bsd) on Linux now
