@Paul, can you add this warning to the next release please ?
I guess, it would be useful for some users (including me) who do not think of the double-promotion and write slower code than intended...
I've added this my default "defs.h" file, but it would be better to have it by default in teensyduino..