Float's and Double's are now rendered using decimal notation /always/. Bumped version.
Removed deprecated TikZDouble type.