LLVM: cast float to double for printing
This fixes printing of floating point:
>>> print *, 4 1,11 ]
4
>>> print *, 4.4 1,13 ]
4.400000
Our testing infrastructure would have to be updated to actually run the code and capture stdout, so for now this is untested.