Numbers.Int(3o) on Linux

The text 8e2b50d36ba6, as Debian 13 (Trixie) shipped it.

no description

Numbers.Int(3o) on Linux now