Multiplication of directed numbers