Implement rational calculation routine RAT_MUL_CONV

With tests.

More operations to follow of course.