Arduino to the max: 11x11x11 LED-cube|
I think you are right, that double precision is not needed. But it is only used in mk_animation.cc, to pre-compute animations on a PC, where memory or efficiency is not an issue.
The pre-computed animations are stored memory-efficiently, using 4 bits per LED (two LEDs per byte).
Edited at 2016-12-20 06:14 am (UTC)