Teensy 4.1 also provides a power shut off feature. Teensy 4.1 also can also be overclocked, well beyond 600MHz! Teensy 4.1's Cortex-M7 processor includes a floating point unit (FPU) which supports both 64 bit "double" and 32 bit "float".
eBay