Add the float point multiply RTL