low-level fmpr multiplication code