Use native 64-bit double on embeddedlinux.

@PaulBouchier Is this likely to cause problems for any of your platforms?

My impression is that most OpenWRT-type are based on 32-bit chips like AR7130, and wouldn't need the float translation logic necessary for 8-bit platforms.