The text 870947597b1c, as Debian 11 (Bullseye) shipped it.
default floating point (rheolef-7.1)
Float(2rheolef) on Linux now
