Add a test program for signed 64 bit multiply and some minor fixes/refactorings