0022558: Bug in gp_Dir::Mirror(const gp_Ax2 & axis)