Reformat floatmul, floatlogic