math: add initial implementation of fp binomial coefficient.