Package: gap-float

"gap-float" package binaries on Debian:

/usr/lib/gap/pkg/float/bin/x86_64-pc-linux-gnu-gcc-default64 /usr/lib/x86_64-linux-gnu/gap/pkg/float/bin/float.so

You may install this package on Debian with apt-get install gap-float