You might be interested in Bit::Vector which according to its homepage uses Perl for overloading but implements the object methods (e.g. Divide and GCD) in C. Interesting bit (sorry) about Euclid's Theorem.

You may also like to have fun with the integer pragma.