The text 2b7bb200d000, as Debian 9 (Stretch) shipped it.
BSD floating-point classification functions
isinff(3) on Linux now
