math: rework the existing binomial specialisation to work with fp and arithmetic types
and use the new fp implementation.