FPU support

[derstrand]

Does Falcon in liboqs provide support to exploit performance advantage when the processor has 64-bit FPU, such as the ARM Cortex M7?

[dstebila]

No, we don't have that type of optimization available at this point.