The text 8335e0f86605, as Debian 12 (Bookworm) shipped it.
default floating point (rheolef-7.2)
Float(2rheolef) on Linux now
