math::is_prime metafunction