Arduino Duo (u.a.): programmierbar in C mit 64 bit float ("double") ?

[Ford Prefect]

habs dort gepostet, danke!
ps: (uups...): das Teil heißt ja tatsächlich Due, nicht Duo...

edit - Antwort: ja, hat 64bit float 8-)