I'm trying to get the double precision FPv5-DP-D16-M FPU working on an ARM Cortex-M7f with an arm-none-eabi-gcc compiler. Based on the documentation, it would appear that I have two options to choose from for enabling the FPU: -mfpu=fpv5-d16 and -mfpu=fpv5-sp-d16. The "fpv5" is pretty self explanatory and the "d16" (as mentioned in the documentation and in other StackOverflow questions) just indicates that there's an equivalent of 16 double precision registers instead of the nominal 32 registers. For lack of anything else that makes sense, I'm guessing the "sp" stands for "single precision" which would imply that fpv5-d16 is the option I want.
However, I can't find any documentation that explicitly confirms this. Is my deduction correct and why is there no fpv5-dp-d16 option/alias like there appears to be in clang?