bug 1048, ls011: Add Floating-Point Store Post-Update section