The text 8280e6b54f8c, as Debian 7 (Wheezy) shipped it.
floating-point remainder function
fmodf(3) on Linux now
