The text c5de231358ed, as Debian 12 (Bookworm) shipped it.
Floating-point arithmetic.
Float(3o) on Linux now
