Fixed more bugs;  added support for converting from int to real.
Fixed more bugs;  added support for converting from int to real.

hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler