I am finding various statements on the internet that leave me confused about the Teensy 3.1. This is apparently an Arduino-compatible chip with a 32-bit processor. I would like to use one of these in an application requiring high precision floating point. Although the Teensy 3.1 does not contain an FPU, I read from some sources that it supplies genuine double precision arithmetic when programmed in the Arduino environment.
So, since all the normal Arduino chips don't do that, where does it get the library needed for that, or is that an import specific to the chip?
Also, I notice that the Teensy family of boards don't show up in the list of chips supported by the Arduino IDE, so how does one get them working in the Arduino IDE?
Thanks in advance for any information.