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