PJRC has announced their "Teensy 4" board.
This is the size of of the teensy 3.2, but features a 600MHz Core-M7 cpu, making it about 5x faster than the Teensy 3.6 (previously the fastest microcontroller-based Arduino...)
And, apparently, hardware support for double-precision floating point.