Remove cut & paste copies of non-free code

.. rather than using this implementation of isinf with dubious
provenance, we can depend on __builtin_isinf, which compiles to
an inline instruction sequence on i386, x86_64, and armhf.