compile time bignum: add extract_factor, fix stuff
numbers.hpp extract_factor --> static_extract_factor

making way for "extract_factor" to be usable as a function
(as compile-time-bignums wish).
add a static_if<>()