Allow float constants to be converted to double (fixes #17 and maybe #2)

Fixes #17 (and maybe #2, untested)
Why the -single-precision-constants option didn't affect 64 bits systems is still unclear to me ?