100% correct on simulator. (fmul, 1000000cases)