7.12.13 Floating multiply-add