You should probably clarify that this means VFPv3-D32.