Factoring bigint and rational out of libextra.

(Left libextra/num/complex in place; real goal is to enable quick
iteration on bigint improvements.)