The text 12be3e901de1, as Debian 12 (Bookworm) shipped it.
Floating point division
function::fp_rem(3stap) on Linux now