Implement integer to floating point cast.
Implement integer to floating point cast.

Change-Id: If832c40c94c9fbc874edafb1fc92d4c935bc1c4e

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst